Tabellenverfahren

• Für die jeweiligen Belegungen werden die Werte der Ausdrücke und ermittelt und verglichen.
• Bei Übereinstimmung wird ein ''='', andernfalls ein '' '' im Kreuzungspunkt der jeweiligen Belegungen eingetragen.
• Ausgangsbelegungen , die bei einer Eingangsbelegung für und den gleichen Wert liefern, werden in die entsprechende Lösungsmenge der l-ten Zeile aufgenommen.
• Mögliche Lösungsmengen sind:
  • keine Lösung für Eingangsbelegung
  • eindeutige Lösung für Eingangsbelegung
  • mehrdeutige Lösung für Eingangsbelegung

Das implizite Gleichungssystem ist

• eindeutig lösbar, wenn gilt:
• partiell lösbar, wenn mit gilt:
• mehrdeutig lösbar, wenn mit

Mehrdeutige Lösungen sind mit g-Parametern beschreibbar (siehe Seite 10).

Beispiel

gegeben:

gesucht:
Lösung:

(II) Bestimmung der g-Parameter für und :
siehe Arbeitsblatt Schaltsysteme ''Explizite BOOLEsche Gleichungen - 2/2''

(III) Eintragen der g-Parameter in die Wertetabelle:

(IV) Ermittlung der Lösung für y unter Angabe von :

mit
   mit