konjunktív normál forma (CNF)

Kapcsolódó fogalmak: 
konjunkció
Kapcsolódó fogalmak: 
diszjunkció
Kapcsolódó fogalmak: 
negálás
Rövid szöveges bemutatás: 
A konjunktív normálforma egy olyan nulladrendű logikai állítás melynek formája és elemkészlete szigorúan meg van kötve. A felhasználható operátorok a negálás, a diszjunkciós és a konjunkció. A formai megkötés szerint a konjunktív normálforma megegyezik a diszjunkciók konjunkciójával. Tehát, ha adott az A1, A2, A3 és A4 atomok, akkor egy lehetséges konjunktív normálforma: (A1 vagy /A2) és (A3 vagy A4). Tehát minden atom vagy normál vagy negált alakban van jelen és minden egyes részkifejezés konjunkcióval van összekötve. A részkijelentéseket belül az atomok pedig diszjunkcióval vannak összekötve. A változók csak közvetlenül negálhatóak, minden komplexebb kifejezés normál formában kell, hogy szerepeljen. Nem lehet használni kvantorokat sem. Bővebb leírást a mellékelt honlap tartalmaz.