de Morgan's Laws are identities involving logical operations: the negation of a conjunction is logically equivalent to the disjunction of the negations, and the negation of a disjunction is logically equivalent to the conjunction of the negations. In symbols, !(p & q) = !p | !q and !(p | q) = !p & !q.