1. Other
  2. Other
  3. proving propositional resolution a e a c ...

Question: proving propositional resolution a e a c ...

Question details




Proving propositional resolution


{A ∨ E, (A ∧ C) → (B ∨ D), A → C, D → E, ¬E} ⊢ A ∧ B

Using DPLL, decide it is satisfiable or not

{P∨¬T,P → ((Q∨R)∧¬(Q∧R)),U∧P → ((S∨T)∧¬(S∧T)),S → Q,U∧T → R,R → U∧¬T}
Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution