| | |
Summary: 3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-75 (98)
· Idempotenz von und :
7. AA A
8. AA A
· de Morgansche Regeln:
9. ¬(AB) ¬A¬B
10. ¬(AB) ¬A¬B
· doppelte Verneinung:
11. ¬(¬A) A
· Kürzungsregeln:
12. AK A, falls K Kontradiktion
13. AT A, falls T Tautologie
· Implikationsregel:
14. A B ¬AB
Beweis: Wahrheitstafeln.
Mit diesen Äquivalenzen lassen sich Formeln in gleichwertige umformen.
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-76 (99)
Beispiele 3.58:
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-77 (100)
Definition 3.59: Die in Beispiel 3.58, 2. betrachtete Formel heißt exklusives oder (Antivalenz, XOR):
|
