Disjunctieve normaalvorm

In de logica is een formule in disjunctieve normaalvorm (Engels: disjunctive normal form, DNF) als die bestaat uit een disjunctie van conjuncties van literalen. In een disjunctieve normaalvorm komen slechts drie booleaanse operatoren voor: en, of en negatie. Daarbij kan de negatie alleen als onderdeel van een literaal voorkomen. Er bestaat ook een conjunctieve normaalvorm, een conjunctie van disjuncties.