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.
Question image 1Question image 2Question image 3