Thursday 3 April 2014

Having trouble with proving logical equivalence

Posted by Саша 23:08, under | No comments


Having trouble with proving logical equivalence!!? Having trouble with proving logical equivalence!!?

I need to prove that P<=>Q is equivalent to (P^Q)v(~P^~Q), but I keep getting stuck. I know truth tables can be used, but the problem requires that we use laws of equivalency such as DeMorgan's law, distributive, conditional laws, etc. Help anyone???














0 коммент.:

Post a Comment