Logichard
0:00.0

Determine the number of satisfying truth assignments (out of 25=322^5 = 32 possible assignments) for the 5-variable propositional formula: ϕ=(x1    x2)(x2    x3)(x3    x4)(x4    x5)(x3    ¬x5)\phi = (x_1 \implies x_2) \land (x_2 \implies x_3) \land (x_3 \implies x_4) \land (x_4 \implies x_5) \land (x_3 \implies \neg x_5)