Let 
represent "or", 
represent "and", and 
represent "not." Then, for two logical units 
and 
,
 |
 |
These laws also apply in the more general context of Boolean algebra and, in particular, in the Boolean algebra
of set theory, in which case 
would denote union, 
intersection,
and 
complementation with respect to any superset of 
and 
.
