Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-75 (98) Idempotenz von und
 

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):

  

Source: Arndt, Holger - Fachgruppe Mathematik, Fachbereich Mathematik-Naturwissenschaften, Bergische Universität Wuppertal

 

Collections: Computer Technologies and Information Sciences