P^(qvr) (a v w) --> ~q ____________ r?