Duane Hilton
Notes
Books
De Morgan's laws
not (p and q) == not p or not q
not (p or q) == not p and not q
(
wikipedia
)