De Morgan's Law

De Morgan's law states the following equivalences in a Boolean algebra:

• not(A and B) = not(A) or not(B)
• not(A or B) = not(A) and not(B)

References

Mano, M. Morris, and Kime, Charles R. Logic and Computer Design Fundamentals. 2nd Edition. Prentice Hall, 2000.
Kleitz, W. Digital Microprocessor Fundamentals. 3rd Edition. Prentice Hall, 2000.