6.2.8 Logische Identitäten

Logische Identitäten

Unter logischen Identitäten versteht man die im folgenden Wikipedia-Artikel definierten Gesetze (1 bis 11 und 1' bis 11'):
http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition

Sie finden sich in unseren offiziellen Lernmaterialien wieder in Lerneinheit 5 (Gesetze der Aussagenlogik) und hier in Kapitel 1.2 (Logische Identitäten) sowie Kapitel 1.3 (Anwendungen logischer Identitäten).

Beispiel

Beweise mit Hilfe der Axiome aus Wikipedia die folgende Äquivalenz:

Fehler beim Parsen (Unbekannte Funktion „\quod“): {\displaystyle ( \neg A \wedge B ) \vee A \quod \equiv \quod ( B \vee A )}


Beweis:

Aufgabe

Beweise mit Hilfe einer Wahrheitstafel:

Fehler beim Parsen (Unbekannte Funktion „\quod“): {\displaystyle ( \neg A \wedge B ) \vee A \quod \equiv \quod (( B \vee A )}