Sadržaj:
- Definicija - Što znači konjunktivni normalan oblik (CNF)?
- Tehopedija objašnjava konjunktivni normalan oblik (CNF)
Definicija - Što znači konjunktivni normalan oblik (CNF)?
Normalan konjunktivni oblik (CNF) pristup je logičkoj logici koja izražava formule kao veznike rečenica s I ili ILI. Svaka rečenica povezana veznikom, ili AND, mora biti ili doslovna ili sadržavati disjunkciju, ili operater ILI. CNF je koristan za automatsko dokazivanje teorema.
Tehopedija objašnjava konjunktivni normalan oblik (CNF)
U uobičajenom uobičajenom obliku, izjave iz logičke logike su spojevi rečenica s klauzulama disjunkcija. Drugim riječima, izjava je niz OR-ova povezanih AND-ovima.
Na primjer:
(A ILI B) I (C ILI D)
(A ILI B) I (NE C ILI B)
Klauzule mogu biti i doslovne:
ILI B
A I B
Literali se u CNF-u vide kao veznici doslovnih klauzula i veza koji imaju jedinstvenu klauzulu. Moguće je pretvoriti izjave u CNF koji su napisani u drugom obliku, poput disjunktivnog normalnog oblika.
