Aussagenlogik und Boolesche Algebra (Teil II)

Aussagenlogik und Boolesche Algebra (Teil II)

In den folgenden Abschnitten gibt es ergänzende Informationen zu folgenden Themen:

Gliederung

6.2 Aussagenlogik und Boolesche Algebra (Teil II)

6.2.1 Aussagen: Beispiele und Gegenbeispiele

6.2.2 Aussagenvariablen und einfache Wahrheitstafeln

6.2.3 Junktoren

6.2.4 Negation, Konjunktion und Disjunktion

6.2.5 Implikation, Replikation und Äquivalenz

6.2.6 Von der Wahrheitstafel zur DNF

6.2.7 Von der Wahrheitstafel zur KNF

6.2.8 Logische Identitäten

6.2.9 Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln

6.2.10 Aussagenlogische Formeln vereinfachen

6.2.11 Textaufgabe mittels aussagenlogischer Formeln vereinfachen

6.2.12 Zusammenhang von Boolescher Algebra und elektronischen Schaltungen