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