B =
BA
B =
BA =(BC) =
(AB)(AC)(BC) =
(AB)(AC)
= A
= AA' = A' = | [E1] Commutativité | 1a. AB =
BA |
1b. AB =
BA = |
|---|---|
| [E2] Distributivité | 2a. A(BC) =
(AB)(AC) |
2b. A(BC) =
(AB)(AC) |
| [E3] Identité | 3a. A = A |
3b. A = A |
| [E4] Complémentarité | 4a. AA' = |
4b. AA' = |