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