Disjunktive Normalform

• Jede boole'sche Funktion f : Bn ® B ist eindeutig darstellbar als Disjunktion der Minterme ihrer einschlägigen Indizes

• Beweis?

  • Existenz
  • Eindeutigkeit

• Beispiel

Notes: