Logic 101 (#20): DeMorgan’s Law, Part 2

Logic 101

Fun fact: p v q is the same thing as ~(~p ^ ~q).

The rule is named after Augustus De Morgan, a 19th Century British mathematician. Some refer to it as a “rule,” others a “law,” and yet others a “theorem.” It’s the same thing in each case.

http://en.wikipedia.org/wiki/Augustus_De_Morgan