Mit einem Karnaugh-Veitch-Diagramm (kurz KV-Diagramm) lässt sich jede beliebige disjunktive Normalform in einen minimalen disjunktiven logischen Ausdruck umwandeln.
Kürzungsregeln
Herleitung für DNF
- Benachbarte Felder unterscheiden sich nur um 1 Literal
- Für benachbarte Minterme
, gilt:
- Da die Minterme diskunktiv verknüpft sind, gilt:
KNF und weitere
- Die Herleitung der Kürzungsregeln für die KNF funktioniert analog
- So können auch größere Blöcke, z.B. 2x2, 4x1 oder 4x2 (Hauptsache Summe der abgedeckten Felder ist eine 2er-Potenz) zusammengefasst werden
Beispiel
