![Spojovací normální forma (CNF) - Technologie Spojovací normální forma (CNF) - Technologie](https://a.continuousdev.com/technology/conjunctive-normal-form-cnf.png)
Obsah
- Definice - Co znamená konjunktivní normální forma (CNF)?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje konjunktivní normální formu (CNF)
Definice - Co znamená konjunktivní normální forma (CNF)?
Spojovací normální forma (CNF) je přístup k logické logice, která vyjadřuje vzorce jako spojky klauzí s AND nebo OR. Každá klauzule spojená spojkou nebo AND musí být buď doslovná, nebo musí obsahovat disjunkci nebo operátor OR. CNF je užitečný pro automatické dokazování věty.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
Techopedia vysvětluje konjunktivní normální formu (CNF)
V konjunktivní normální formě jsou výroky v logické logice spojením klauzulí s klauzulemi disjunkce. Jinými slovy, prohlášení je řada nejrůznějších OR spojených AND.
Například:
(A NEBO) A (C NEBO)
(A NEBO B) A (NE C NEBO B)
Klauzule mohou být také literály:
A NEBO B
A a B
Literály jsou v CNF viděny jako spojky doslovných klauzulí a spojky, které náhodou mají jednu klauzuli. Je možné převést příkazy na CNF, které jsou psány v jiné formě, jako je disjunktivní normální forma.