Zawartość
- Definicja - Co oznacza łączna postać normalna (CNF)?
- Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
- 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ń.
Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
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żliwe jest przekształcenie instrukcji w CNF, które są zapisane w innej formie, takiej jak rozłączna postać normalna.