0
$\begingroup$

How many satisfying assignments does the following formula have?

(x1 ∨ x¯2 ∨ x¯3)(x1 ∨ x2)(x¯1 ∨ x¯2)

$\endgroup$
1
  • 1
    $\begingroup$ There are only $3$ variables. You can just enumerate all $2^3 = 8$ assignments and check if they satisfy the formula. $\endgroup$
    – Steven
    Commented Apr 12, 2020 at 5:34

1 Answer 1

1
$\begingroup$

You have 8 options:

T F F

T T F

T T T

F T T

F F T

F F F

T F T

F T F

When the first column is x1 the second is x2 and the third x3

Lets try each one: (T or T or T)and(T or F)and(F or T)=T and T and T=T

(T or F or T)and(T or T)and(F or F)=F And so on...

You can continue from here and you will get the right answer

$\endgroup$
3
  • $\begingroup$ T F F is listed twice... $\endgroup$ Commented Apr 12, 2020 at 7:42
  • $\begingroup$ You are right,fixed that!thanks! $\endgroup$
    – Noname
    Commented Apr 12, 2020 at 7:53
  • $\begingroup$ Thank you so much! $\endgroup$
    – codeg
    Commented Apr 13, 2020 at 5:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.