De Morgan's Law

De Morgan's law states the following equivalences:

• ¬(A ∧ B) <=> ¬A ∨ ¬B
• ¬(A ∨ B) <=> ¬A ∧ ¬B

References

Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.