| p % q est l'ensemble qui comprend | tous les éléments qui sont dans p mais pas dans q |
| ainsi que tous ceux qui sont dans q mais pas dans p. |
| Loi de fermeture: |
| Pour toute paire d'ensembles p et q, il existe un ensemble unique p % q |
| Loi de commutativité: |
| p % q = q % p |
| Loi d'associativité: |
| (p % q) % r = p % (q % r) |
| Lois d'identité: |
| p % {} = p p % p = {} |
| Lois de complémentarité: |
| p % TFBN = ¬p p % ¬p = TFBN |
| Loi de symétrie: |
| p % q = ¬p % ¬q |
| Autres propriétés: |
| p % q = (p - q) | (q - p) p % q = (p | q) - (p & q) p % q = (p | q) & ¬(p & q) p % q = (p | q) & (¬p | ¬q) ¬(p % q) = (p & q) | (¬p & ¬q) |
| Table de vérité de l'exclusion | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||