~p v (q . r)

p . q

~(s ⊃ t) ⊃ (~q . ~r)

--------------------------

(s . t) v ~s