Without using a truth table:
(p ⇒ q) ∨ q ⇔ (¬p ∨ q) ∨ q ⇔ ¬p ∨ q ⇔ p ⇒ q
With a table:
p … q … p ⇒ q … (p ⇒ q) ∨ q
T … T … T … T
T … F … F … F
F … T … T … T
F … F … T … T
1.6m questions
2.0m answers