PV(~qVr) what is the solution of this?​