Question

VRS 2023.08.29 Protokol: DPLL Problem 1 (b)
In this problem 1(b) : My answer a: true; b: false; c: true 
Is this answer also valid?

Question is as follows:

Problem 1. Propositional Logic and Decision Diagrams (a) Consider the following propositional formula φ:

¬(c→(a↔(c∨¬(a↔b))))

Compute an equi-satisfiable linear-size clause form for φ.

(b)Use the DPLL algorithm to determine a model of the above clause set

Answer 1

The formula ¬(c→(a↔(c∨¬(a↔b)))) is equivalent to ¬a∧c, so that there are only two solutions which differ on the value of variable b, and both have a=false and c=true. Your answer a: true; b: false; c: true is therefore incorrect.