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.