Prove
rove that (_q⇒r) ⇒ P =
(7⇒P)A (r⇒P) without
truth table
rove that (_q⇒r) ⇒ P =
(7⇒P)A (r⇒P) without
truth table