\overline{p} \wedge q \vee r \vee \overline{p} \vee q \wedge r=\overline{p} \wedge q \wedge r