De Morgan's Laws
De Morgan's Laws are two very important laws in the fields of set theory and boolean algebra.
Statement
For any two mathematical statements and , . The dual of this statement is also true, that is, . Also, for any two sets and , . Again, the dual is true, for .
In fact, all dual operators will interchange upon negation. So we can also say that for any proposition P, , because is dual with . Also, .
Proof
Any two propositions and have four possible combinations of truth values. We can therefore prove that two propositions stated in terms of and are equivalent by proving that they hold the same value in each of the four cases.
In the following truth table, indicates "true" and indicates "false".
Hence and .
This article is a stub. Help us out by expanding it. ._.