Law § the negation of a disjunction is the conjunction of the negations the negation of a conjunction is the disjunction of the negations !(Q OR Q) == !P AND !Q !(P AND Q) == !P OR !Q Notes § See Wikipedia