Which of the following is TRUE about formulae in Conjunctive Normal Form?

**(A)** For any formula, there is a truth assignment for which at least half the clauses evaluate to true.

**(B)** For any formula, there is a truth assignment for which all the clauses evaluate to true

**(C)** There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.

**(D)** None of the above

**Answer:** **(A)** **Explanation:** *We can easily prove that for any formula, there is a truth assignment for which at least half the clauses evaluate to true .*

**Proof :**

Consider an arbitrary truth assignment. For each of its clause ‘j’ , introduce a random variable.

X_{j} = 1 if clause ‘j’ is satisfied

X_{j} = 0 otherwise

Then, X = summation of (j * X_{j}) is the number of satisfied clauses.

Given any clause ’c’ , it is unsatisfied only if all of its ‘k’ constituent literals evaluates to false as they are joined by OR operator.

Now, because each literal within a clause has a 1/2 chance of evaluating to true independently of any of the truth value of any of the other literals, the probability that they are all false is (1 / 2)^{k} .

Thus, the probability that ‘c’ is satisfied = 1 − (1 / 2)^{k}

So, E(X_{j}) = 1 * (1 / 2)^{k} = (1 / 2)^{k}

Therefore, E(X_{j}) >= 1/2

Summation on both sides to get E(X).

Therefore, we have E(X) = summation of (j * X_{j}) >= m/2 where ‘m’ is the number of clauses.

E(X) represents expected number of satisfied clauses.

Thus, there must exist an assignment that satisfies at least half of the clauses.

Please comment below if you find anything wrong in the above post.

Quiz of this Question

## Recommended Posts:

- GATE | GATE CS 1999 | Question 36
- GATE | GATE CS Mock 2018 | Question 39
- GATE | GATE CS 2013 | Question 1
- GATE | GATE CS 2013 | Question 3
- GATE | GATE CS 2013 | Question 4
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 6
- GATE | GATE CS 2013 | Question 7
- GATE | GATE CS 2013 | Question 8
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 11
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 17
- GATE | GATE CS 2013 | Question 18
- GATE | GATE CS 2013 | Question 19
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 65
- GATE | GATE CS 2013 | Question 22
- GATE | GATE CS 2013 | Question 23