Logische Gesetze
Kommutativ
A or B = B or A
( A or B ) or C = A or ( B or C )
A and B = B and A
( A and B ) and C = A and ( B and C )
Distributiv
A and ( B or C ) = A and B or A and C
A or B and C = ( A or B ) and ( B or C )
Identität
A or A = A
A and A = A
A or A and B = A
A and ( A or B ) = A
De Morgan
not ( A or B ) = not A and not B
not ( A and B ) = not A or not B
Ausschluss
A eor B = not ( A and not B ) or ( not A and B )
Implikation
( A => B ) = not A or B
Kontraposition
( A => B ) = ( not B => not A )
Induzierter Schluss
( A => B ) = ( A and not B => not A )
( A => B ) = ( A and not B => B )
Äquivalenz
not (A <=> B ) = ( not A <=> B )
( A <=> B ) = ( A => B ) and ( B => A )
| 
