(\overline{p \vee \overline{q} \wedge r})