[(p ∨ q) ⇔ q]⇔(p⇒q)

(p⇒q)

V

F

p

p

F

q

F

V

V

q

V

V

q

F

[(p ∨ q) ⇔ q]

[(p ∨ q) ⇔ q]

[(FF) ⇔ F]