Using-the-algebra-propositions-simplify-p-q-p-q-

Question Number 178448 by Spillover last updated on 16/Oct/22

Using the algebra propositions

simplify

(p \leftrightarrow q) \to (p \to q)

Answered by greougoury555 last updated on 16/Oct/22

[(p \to q) \land (q \to p)] \to (p \to q)

= [(p \land \sim q) \lor (q \land \sim p)] \lor (\sim p \lor q)

= (p \land \sim q) \lor (\sim p \land q) \lor (\sim p \lor q)

= T