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 Apr 12 '20 at 5:34
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$ – Yuval Filmus Apr 12 '20 at 7:42
  • $\begingroup$ You are right,fixed that!thanks! $\endgroup$ – Noname Apr 12 '20 at 7:53
  • $\begingroup$ Thank you so much! $\endgroup$ – codeg Apr 13 '20 at 5:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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