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