6.2.8 Logische Identitäten
| [gesichtete Version] | [gesichtete Version] |
| Zeile 6: | Zeile 6: | ||
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). | 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). | ||
<loop_area | <loop_area type="task"> | ||
Beweise mit Hilfe einer Wahrheitstafel:<br /> | Beweise mit Hilfe einer Wahrheitstafel:<br /> | ||
<math>( \neg A \wedge B) \vee A \equiv B \vee A</math> | <math>( \neg A \wedge B ) \vee A \equiv ( B \vee A )</math> | ||
</loop_area> | </loop_area> | ||
Version vom 29. September 2014, 15:32 Uhr
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).
Aufgabe
Beweise mit Hilfe einer Wahrheitstafel:
