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