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.

مواضيع ذات صلة

Theorem

Zermelo-Fraenkel Axioms

Probability Axioms

Presburger Arithmetic

Peano,s Axioms

Parallel Postulate

Long Exact Sequence of a Pair Axiom

Kolmogorov,s Axioms

Hilbert,s Axioms

Hausdorff Axioms

Field Axioms

Euclid,s Postulates