| p | q est l'ensemble qui comprend | tous les éléments de p |
| ainsi que tous ceux de q. |
| 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) | |
| Loi d'idempotence: | |
| p | p = p | |
| Lois d'identité: | |
| p | TFBN = TFBN p | {} = p | |
| Loi de complémentarité: | |
| p | ¬p = TFBN |
| Table de vérité de la disjonction: | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||