Starting with an empty set U of literals, apply unit propaga…
Starting with an empty set U of literals, apply unit propagation to the formula below. Show how F and U (the set of unit clauses) change in each iteration by filling in the blanks in the table. q ∧ (¬p ∨ ¬q) ∧ (p ∨ ¬q ∨ r) ∧ (q ∨ ¬r) Formula Table Fi Ui i=0 q ∧ (¬p ∨ ¬q) ∧ (p ∨ ¬q ∨ r) ∧ (q ∨ ¬r) {} i=1 i=2 i=3 What is the value of in the second iteration. (i=2)