$\begin{array}{1 1} s \wedge( \approx r \wedge s) \\ s \wedge( r \vee \approx s) \\ s \wedge r \\ s \wedge \approx r \end{array} $