| A | B | A.B et | A + B ou | A O+ B ou excl | A.B |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 |
| X. (Y + Z ) | = | X.Y + X.Z | distributivité | |||
| X.X | = | X | idempotence | X + X | = | X |
| X.1 | = | X | élément neutre | X + 1 | = | 1 |
| X.0 | = | 0 | pdt nul si 1 factr nul | X + 0 | = | X |
| X.X | = | 0 | X + X | = | 1 | |
| X + X.Y | = | X | absortion | |||
| X + X.Y | = | X + Y | " | |||
| X.Y + X.Y | = | X | " | |||
| X + Y.Z | = | (X + Y) (X + Z) | distributivité | |||
| X.Y | = | X+Y | Théo Morgan | |||
| X+Y | = | X.Y | " | |||
| X O+ 0 | = | X | ||||
| X O+ 1 | = | 1 | ||||
| X O+ X | = | 1 | ||||
| X O+ X | = | 0 | ||||
| X O+ Y | = | X.Y + X.Y | = (X + Y) . (X + Y) | |||
| MinTerm | produit de n variables (ou compléments) | ET | ex : a.b.c |
| MaxTerm | somme ... | OU | ex : a+b+c |
