Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 33: | Zeile 33: | ||
=== Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln === | === Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln === | ||
==== Beweisführung anhand einer Wahheitstafel ==== | ==== Beweisführung anhand einer Wahheitstafel ==== | ||
==== Beweisführung anhand einer Wahrheitstafel ==== | |||
==== Beweisführung anhand der Anwendung logischer Identitäten ==== | ==== Beweisführung anhand der Anwendung logischer Identitäten ==== | ||
=== Aussagenlogische Formeln vereinfachen === | === Aussagenlogische Formeln vereinfachen === | ||