# Thread: showing to statments are equivalent

1. ## showing to statments are equivalent

I'm trying to show $\displaystyle \neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a$
So far I've distributed and got $\displaystyle [\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 $\displaystyle \neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a$
To see that statement is not valid let $\displaystyle a\equiv F~\&~b\equiv T$