✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given propositional formula
(¬c) ∧ (a ∨ b ∨ c) ∧ (d ∨ ¬a) ∧ (e ∨ ¬b) ∧ (¬f ∨ ¬c) ∧ (¬a ∨ ¬b) ∧ (¬d ∨ e) ∧ (¬e ∨ ¬c) ∧ (¬f ∨ ¬c)
Which two clauses given in the list below can be derived with one or more applications of the resolution rule?
(Keep in mind that disjunction is commutative, i.e., the order of literals in a clause is irrelevant).