Regeln zu den Boolean-Operatoren

Es gelten die folgenden Äquivalenzen:

A ∧ A	= A
A ∨ A	= A
A ∧ B	= B ∧ A
A ∨ B	= B ∨ A
(A ∧ B) ∧ C	= A ∧ (B ∧ C)
(A ∨ B) ∨ C	= A ∨ (B ∨ C)
A ∧ (A ∨ B)	= A
A ∨ (A ∧ B)	= A
A ∧ (B ∨ C)	= (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C)	= (A ∨ B) ∧ (A ∨ C)
¬ (A ∧ B)	= ¬ A ∨ ¬ B
¬ (A ∨ B)	= ¬ A ∧ ¬ B
A ∧ B	= ¬ (A => ¬ B)
A ∨ B	= ¬ A => B
A => B	= ¬ A ∨ B

(partiell übernommen aus dem Werk von U. Schöning)

Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005