Answer to Question #187560 in Discrete Mathematics for dhivyaapraveen

Question

(¬p→r) ∧ (q ↔p)

Answer 1

$(\lnot p\rightarrow r)\land (q\leftrightarrow p)=(p\leftrightarrow q)\land(\lnot p\rightarrow r)$

Now,

$(p\leftrightarrow q)=(p\land q)\lor (\lnot p\land \lnot q)$

$(\lnot p\rightarrow r)=(p\lor r)$

So,

$(p\leftrightarrow q)\land(\lnot p\rightarrow r)=(p\lor r)\land (p\lor \lnot q)\land(q\lor \lnot p)$