Math Help - showing to statments are equivalent

1. 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]$

2. Re: showing to statments are equivalent

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$