| p - q est l'ensemble qui comprend | tous les éléments de p |
| qui ne sont pas des éléments de q. | |
| p - q est égal à p & ¬q | |
| Loi de fermeture: |
| pour toute paire d'ensembles p et q, il existe un ensemble unique p - q |
| Lois d'identité: |
| {} - p = {} p - {} = p p - p = {} |
| Lois de complémentarité: |
| p - TFBN = {} TFBN - p = ¬p |
| Table de vérité de la différence: | |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
Les quatre cas soulignés T-B, F-B, B-T et B-F, voient leur résolution suspendue jusqu'à ce que la valeur potentielle ou partiellement indéterminée B se rélise ou se résolve en T ou en B.