showing to statments are equivalent

• September 22nd 2011, 10:00 PM
Jskid
showing to statments are equivalent
I'm trying to show $\neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a$
So far I've distributed and got $[\neg(a \vee b)\vee(\neg a)]\wedge[\neg(a \vee b) \vee b]$
• September 23rd 2011, 02:42 AM
Plato
Re: showing to statments are equivalent
Quote:

Originally Posted by Jskid
I'm trying to show $\neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a$

To see that statement is not valid let $a\equiv F~\&~b\equiv T$