Skip to content

Latest commit

 

History

History
19 lines (10 loc) · 422 Bytes

question.md

File metadata and controls

19 lines (10 loc) · 422 Bytes

Convert the following set of sentences to clausal form.

  1. S1: $A {;;{\Leftrightarrow};;}(B \lor E)$.

  2. S2: $E {:;{\Rightarrow}:;}D$.

  3. S3: $C \land F {:;{\Rightarrow}:;}\lnot B$.

  4. S4: $E {:;{\Rightarrow}:;}B$.

  5. S5: $B {:;{\Rightarrow}:;}F$.

  6. S6: $B {:;{\Rightarrow}:;}C$

Give a trace of the execution of DPLL on the conjunction of these clauses.