0
15kviews
Logically equivalent by developing a series of logical equivalence.
1 Answer
written 2.7 years ago by | modified 2.2 years ago by |
Prove $\sim$ (PV( $\sim$ p^q)) and $\sim$ P ^ $\sim q$ are logically equivalent by developing a series of logical equivalence.
solution :
Lets consider,
$\sim$ (pv ($\sim$ p ^ q))
= $\sim$ p ^ $\sim$ (\sim p ^ q) $\rightarrow$ Demorgan's Law
= $\sim$ p ^ p v $\sim$ q $\rightarrow$ Law of negation.
= ($\sim$ p ^ p) v ($\sim$ p ^ $\sim$ q) $\rightarrow$ Distributive law
= F V ($\sim$ p ^ $\sim$ q) $\rightarrow$ $\sim$ p ^ p = F
= $\sim$ p ^ $\sim$ q $\rightarrow$ Identity law.
Note : Verification by truth table.