Answer to Question #233865 in Discrete Mathematics for bujji babu

Question

Show that ¬ (P$\iff$Q)$\iff$(P V Q) Λ ¬(P Λ Q) $\iff$(P Λ ¬Q) V (¬ P Λ Q) without using truth table

Answer 1

Solution:

$\begin{aligned} &\neg(P \Leftrightarrow Q) \\ &\Leftrightarrow \neg((P \rightarrow Q) \wedge(Q \rightarrow P)) \\ &\Leftrightarrow \neg((P \vee \neg Q) \wedge(Q \vee \neg P)) \\ &\Leftrightarrow \neg(((P \vee \neg Q) \wedge Q) \vee((P \vee \neg Q) \wedge \neg P)) \\ &\Leftrightarrow \neg((P \wedge Q) \vee(\neg Q \wedge Q) \vee((P \wedge \neg P) \vee(\neg Q \wedge \neg P)) \\ &\Leftrightarrow \neg((P \wedge Q) \vee \neg(P \vee Q)) \\ &\Leftrightarrow \neg(P \wedge Q) \wedge \neg(\neg(P \vee Q)) \\ &\Leftrightarrow(P \vee Q) \wedge \neg(P \wedge Q) \ldots(1) \end{aligned}$

Also,

$\begin{aligned} &\neg(P \Leftrightarrow Q) \\ &\Leftrightarrow \neg((P \rightarrow Q) \wedge(Q \rightarrow P)) \\ &\Leftrightarrow \neg((P \vee \neg Q) \wedge(Q \vee \neg P)) \\ &\Leftrightarrow(\neg P \wedge Q) \vee(\neg Q \wedge P) \ldots(2) \end{aligned}$

Therefore the result follows from (1) and (2).