De Morgan's Theorem

Two rules that can help to simplify boolean expressions involving multiple logical-not operators in combination with other boolean operators.