| [gesichtete Version] | [gesichtete Version] |
| Zeile 3: | Zeile 3: | ||
Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen: | Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen: | ||
# mit Hilfe einer Wahrheitstafel | # mit Hilfe einer Wahrheitstafel | ||
# mit Hilfe von Umformungen anhand der logischen Identitäten | # mit Hilfe von Umformungen anhand der [[Logische Identitäten|logischen Identitäten]] | ||
<br /> | <br /> | ||
Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen:
So geht es weiter: