FORMAL PROOF:

1.)(P Q) ∙ (R S)
2.)~ Q V ~ S / ~PV~R
3.) P Q (Simp.-1)
4.) Q ~S (Ipml.-2)
5.) (R S) ∙ (P Q) (Com.-1)
6.) R S (Simp.-5)
7.) P ~S (H.S.-3-4)
8.) ~S ~ R (Trans.-6)
9.) P ~R (H.S.-7-8)
10.) ~ P V ~ R (Impl.-9)
Q.E.D. VALID

TRUTH TABLE:

DESTRUCTIVE DILEMMA

(P Q)∙(R S)∙(~QV~S) (~PV~R)

(P Q) ∙ (R S) ∙ (~ Q V ~ S) (~ P V ~ R)
T T T T T T T F F T F F T T F T F F T
T T T F T F F F F T T T F T F T F F T
T T T T F T T F F T F F T T F T T T F
T T T T F T F T F T T T F T F T T T F
T F F F T T T F T F T F T T F T F F T
T F F F T F F F T F T T F T F T F F T
T F F F F T T F T F T F T T F T T T F
T F F F F T F F T F T T F T F T T T F
F T T T T T T F F T F F T T T F T F T
F T T F T F F F F T T T F T T F T F T
F T T T F T T F F T F F T T T F T T F
F T T T F T F T F T T T F T T F T T F
F T F T T T T T T F T F T T T F T F T
F T F F T F F F T F T T F T T F T F T
F T F T F T T T T F T F T T T F T T F
F T F T F T F T T F T T F T T F T T F