Koniunkcyjna postać normalna
Z Wikipedii, wolnej encyclopedia
Koniunkcyjna postać normalna (ang. conjunctive normal form, CNF) danej formuły logicznej to równoważna jej formuła zapisana w postaci koniunkcji klauzul.
Na przykład koniunkcyjną postacią normalną wyrażenia jest
Każde wyrażenie logiczne ma koniunkcyjną postać normalną.
Przykłady przekształceń: