Question

Consider the CNF formula F=\left(x_{1}\right) \wedge\left(\neg x_{2}\right) \wedge\left(x_{2} \vee x_{3}\right) \wedge\left(\neg x_{1} \vee x_{3} \vee x_{4}\right) \wedge\left(\neg x_{3} \vee \neg x_{4} \vee \neg x_{5}\right) Perform an exhaustive application of the unit clause rule and show the result.

Fig: 1

Fig: 2

Fig: 3