Question 1205226
P ⊃ (Q ∨ ∼P)

= ~P V (Q ∨ ∼P)    (equivalence to implication)

= ~P V (~P ∨ Q)     (commutativity)

= (~P V ~P) ∨ Q     (associativity)

= ~P V Q            (simplification)

= P ⊃ Q            (equivalence to implication)