Axiome der BOOLEschen Mengenalgebra
im folgenden gilt:
Kommutativität
Assoziativität
Distributivität
Idempotenz
Adjunktivität
Komplementarität
root
Sat Jun 21 22:28:32 1997