De Morgan's laws
Augustus De Morgan originally observed that the following relationships hold:
not (P and Q) = (not P) or (not Q)
not (P or Q) = (not P) and (not Q)
When written using Alice logic operators the two expressions given above look like:
!(X && Y) = !X || !Y
!(X || Y) = !X && !Y
De Morgan's laws are used in this lesson to show three different formulations that can be used to solve the same logic problem.