Spisu treści:
- Definicja - Co oznacza łączna postać normalna (CNF)?
- Techopedia wyjaśnia Conjunctive Normal Form (CNF)
Definicja - Co oznacza łączna postać normalna (CNF)?
Łączna postać normalna (CNF) jest podejściem do logiki boolowskiej, która wyraża formuły jako połączenie klauzul z AND lub OR. Każda klauzula połączona przez koniunkcję lub AND musi być literałem lub zawierać znak rozłączny lub operator OR. CNF jest przydatny do automatycznego potwierdzania twierdzeń.
Techopedia wyjaśnia Conjunctive Normal Form (CNF)
W spójnej postaci normalnej instrukcje w logice boolowskiej są spójnikami klauzul z klauzulami rozłączenia. Innymi słowy, instrukcja jest serią OR połączonych przez AND.
Na przykład:
(A LUB B) ORAZ (C LUB D)
(A LUB B) ORAZ (NIE C LUB B)
Klauzule mogą być również dosłowne:
A LUB B
A ORAZ B
Literały są postrzegane w CNF jako spójniki klauzul literalnych i spójniki, które mają jedną klauzulę. Można konwertować instrukcje na CNF, które są napisane w innej formie, na przykład w normalnej formie rozłącznej.
