Unit Resolution

Unit resolution is a generalization of the rule known as disjunctive syllogism, which amounts to:

$$\begin{array}{c} \phi \vee \psi \quad \neg\phi\\ \hline \psi\\ \end{array}$$