Propositional Logic help

Question

Trying to get a transformational proof for "$(-p\vee q) \wedge (-q\vee p)$" to "$(p\vee q) \to (p\wedge q)$", any idea on the next step I can take?

I'm not looking for an answer just a hint.

Thanks

Hint: $A$ → $B$ is equivalent to $\neg A \vee B$ – Rab Mar 29 '17 at 12:41 — Rab, Mar 29 '17 at 12:41

score 0 · Answer 1 · answered Mar 29 '17 at 12:49

0

Hint: Start with the Distribution rule for and over or.

answered Mar 29 '17 at 12:49

PMar

1 Answers1