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)
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.
Copyright © 2014 Barry Watson. All rights reserved.