help prove this propositional logic equivalency

79 Views Asked by At

I'm really stuck on proving this propositional logic equivalency. I've tried De Morgan's law, and double negation to see if I could get it, but no luck. Any help is greatly appreciated! P.S Please, tell me which laws you use to prove it.

$(p \land q) \lor (q \land r) \lor (r \land p) \equiv (p \lor q) \land (q \lor r) \land (r \lor p)$

1

There are 1 best solutions below

0
On

$(p\lor q)\land(p\lor r)\land(q\lor r)$

$\Leftrightarrow (p\lor(q\land r))\land(q\lor r)$ by the distributive law

$\Leftrightarrow ((p\lor(q\land r))\land q)\lor ((p\lor(q\land r))\land r)$ again by the distributive law

$\Leftrightarrow ((p\land q)\lor((q\land r)\land q))\lor ((p\land r)\lor((q\land r)\land r))$ again by the distributive law

$\Leftrightarrow (p\land q)\lor(q\land r\land q)\lor (p\land r)\lor(q\land r\land r)$ dropping parantheses since certain parts are well defined

$\Leftrightarrow (p\land q)\lor(r\land q\land q)\lor (p\land r)\lor(q\land r\land r)$ by commutative law

$\Leftrightarrow (p\land q)\lor(q\land r)\lor (p\land r)\lor(q\land r)$ by idempotent law

$\Leftrightarrow (p\land q)\lor (p\land r)\lor(q\land r)\lor(q\land r)$ by commutative law

$\Leftrightarrow (p\land q)\lor(q\land r)\lor (p\land r)$ by idempotent law

Hence, $(p\lor q)\land(p\lor r)\land(q\lor r) \Leftrightarrow (p\land q)\lor(q\land r)\lor (p\land r)$