Propriétés de base primitives
[E1] Commutativité
1a. A
B = B
A
1b. A
B = B
A =
[E2] Distributivité
2a. A
(B
C) = (A
B)
(A
C)
2b. A
(B
C) = (A
B)
(A
C)
[E3] Identité
3a. A
= A
3b. A
= A
[E4] Complémentarité
4a. A
A' =
4b. A
A' =