Boolesche Ausdrücke vergleichen
Ist und der selbe Ausdruck?
Als erstes erstellst du eine Tabelle für und danach für . Die Tabelleneinträge kannst du dann vergleichen.
Schritt 1: Tabelle für
Hierfür schreibst du in eine Tabelle die Möglichkeiten für a und b
Als nächstes fügst du eine Spalte für hinzu. Dies ist die OR-Funktion. In der neuen Spalte steht also eine 1, wenn oder 1 ist.
Jetzt verknüpfst du den gesamten Ausdruck mit NOT. Eine 1 in der Spalte wird also in der neuen Spalte zu einer 0. Genauso wird eine 0 zu einer 1
Die Tabelle für den ersten Ausdruck ist jetzt fertig. Füge nun die Spalten für den Ausdruck hinzu.
Schritt 2: Tabelle für
Verknüpfe diese Spalten zum Schluss mit AND, um den gewünschten zweiten Ausdruck zu erhalten
Da die Spalte genau gleich ist, wie die Spalte , stimmt die Aussage.
Diese Formel nennt man das Gesetz von De'Morgan.