16 Zeilen
Vier Eingänge ergeben 2⁴ = 16 Kombinationen: die Zahlen 0 bis 15.
Binär zählen
A wechselt jede Zeile, B alle 2, C alle 4, D alle 8 Zeilen.
KV 4×4
Zeilen DC und Spalten BA jeweils in Gray-Reihenfolge 00, 01, 11, 10.
Nachbarn am Rand
Oberste und unterste Zeile sind Nachbarn, ebenso linke und rechte Spalte – auch die vier Ecken bilden eine Gruppe.
Gruppengrößen
1, 2, 4, 8 oder 16 Felder. Achtergruppe: nur noch eine Variable bleibt.
Der ganze Text zum Nachlesen
Bei vier Eingängen gilt dasselbe Verfahren wie bei drei: vollständige Tabelle, DNF aus den 1-Zeilen, Vereinfachen mit dem KV-Diagramm, Bauen, vollständig testen.
Die Tabelle wird am sichersten durch binäres Zählen erzeugt. Liest man jede Zeile als Zahl, erkennt man fehlende oder doppelte Zeilen sofort.
Im KV-Diagramm mit vier Variablen stehen die Paare DC an den Zeilen und BA an den Spalten, beide in der Reihenfolge 00, 01, 11, 10. Eine ganze Zeile ist eine Vierergruppe: Dort sind D und C fest, B und A verschwinden.
Nicht jede Funktion lässt sich vereinfachen. Liegen die Einsen so, dass sich je zwei in mindestens zwei Bits unterscheiden, bleibt jede Eins eine Einzelgruppe und die DNF ist schon minimal.
Merksatz: Vier Eingänge: 16 Zeilen, KV mit Gray-Beschriftung an beiden Seiten – Nachbarn auch über alle Ränder.