- #1

- 32

- 0

I tried to see if this is true so I tried

[tex] (P \to Q) \lor (P \to R) \\

(P \lor \neg Q) \lor (P \lor \neg R) \\

P \lor \neg Q \lor \neg R \\

P \lor \neg(Q \land R) \\

P \to (Q \land R) [/tex]

and

[tex] P \to (Q \lor R) \\

P \lor \neg(Q \lor R ) \\

P \lor (\neg Q \land \neg R) \\

(P \lor \neg Q) \land (P \lor \neg R) \\

(P \to Q) \land (P \to R) [/tex]

From what I've done its seems like they're not equivalent ?