[ Ссылка ]

Fun fact: p ^ q is the same thing as ~(~p v ~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.

[ Ссылка ]

свернуть