Axiome und Regeln der BOOLEschen Ausdrucksalgebra
Kommutativität
Assoziativität
Distributivität
Idempotenz
Adjunktivität
Negation
Disjunktionsregel
Konjunktionsregel
deMORGANsche Regel
Implikationsregel
Äquivalenzregel
Antivalenzregel
root
Sat Jun 21 22:28:32 1997