de Morgan's Laws

Let  represent "or",  represent "and", and  represent "not." Then, for two logical units  and ,

These laws also apply in the more general context of Boolean algebra and, in particular, in the Boolean algebra of set theory, in which case  would denote union,  intersection, and  complementation with respect to any superset of  and .

REFERENCES

Dugundji, J. Topology. Englewood Cliffs, NJ: Prentice-Hall, 1965.Halmos, P. R. Naive Set Theory. New York: Springer-Verlag, 1974.

Kelley, J. L. General Topology. New York: Springer-Verlag, 1975.

Papoulis, A. Probability, Random Variables, and Stochastic Processes, 2nd ed. New York: McGraw-Hill, p. 23, 1984.

Simpson, R. E. Introductory Electronics for Scientists and Engineers, 2nd ed. Boston, MA: Allyn and Bacon, pp. 540-541, 1987.