7.6.1 Teljes diszjunktív normálforma
Konstruálható bármely Boole-féle függvényhez olyan formula, mely a következő tulajdonságokkal rendelkezik:
- A formula konjunkciók diszjunkciója.
- Minden konjunkciós tag vagy egy változó vagy annak negáltja.
- Minden diszjunkciós tagban minden változó szerepel.
- Ugyanaz a változó egy konjunkcióban csak egyszer szerepel.
- Nincs két olyan diszjunkciós tag, amelyek csak a változók sorrendjében különböznek.
Teljes diszjunktív normálforma: A fenti tulajdonságú formulát teljes diszjunktív normálformának nevezzük.