Sadržaj
- Definicija - Što znači normalan konjunktivni oblik (CNF)?
- Uvod u Microsoft Azure i Microsoft Cloud | Kroz ovaj vodič naučit ćete o čemu se radi računalstvo u oblaku i kako vam Microsoft Azure može pomoći da migrirate i pokrenete svoje poslovanje iz oblaka.
- Tehopedija objašnjava konjunktivni normalan oblik (CNF)
Definicija - Što znači normalan konjunktivni 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.
Uvod u Microsoft Azure i Microsoft Cloud | Kroz ovaj vodič naučit ćete o čemu se radi računalstvo u oblaku i kako vam Microsoft Azure može pomoći da migrirate i pokrenete svoje poslovanje iz oblaka.
Tehopedija objašnjava konjunktivni normalan oblik (CNF)
U uobičajenom uobičajenom obliku, izjave iz logičke logike su spojevi klauzula s klauzulama odvajanja. 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 veznika koji imaju jedinstvenu klauzulu. Moguće je pretvoriti izjave u CNF koji su napisani u drugom obliku, poput disjunktivnog normalnog oblika.