Tuesday, August 9, 2011

Prove that the three connectives AND, OR and NOT are sufficient to express every logical proposition over...?

Well my first thought is that with NOT and either AND or OR you can make any logic operator using De Morgan's theorem

No comments:

Post a Comment