Dysjunkcyjna postać normalna
Z Wikipedii, wolnej encyclopedia
Dysjunkcyjna postać normalna (ang. disjunctive normal form, DNF) formuły logicznej – formuła zapisana w postaci dysjunkcji (alternatywy) klauzul dualnych.
Na przykład dysjunkcyjną postacią normalną wyrażenia jest
Każde wyrażenie logiczne ma dysjunkcyjną postać normalną.