# GATE | GATE-CS-2007 | Question 48

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-2015 (Mock Test) | Question 2
- GATE | GATE-CS-2015 (Mock Test) | Question 17
- GATE | GATE-CS-2015 (Mock Test) | Question 17
- GATE | GATE-CS-2015 (Mock Test) | Question 16
- GATE | GATE-CS-2015 (Mock Test) | Question 17
- GATE | GATE-CS-2015 (Mock Test) | Question 14
- GATE | GATE-CS-2015 (Mock Test) | Question 13
- GATE | GATE-CS-2015 (Mock Test) | Question 17
- GATE | GATE-CS-2015 (Mock Test) | Question 11
- GATE | GATE-CS-2015 (Mock Test) | Question 10
- GATE | GATE-CS-2015 (Mock Test) | Question 9
- GATE | GATE-CS-2015 (Mock Test) | Question 8
- GATE | GATE-CS-2015 (Mock Test) | Question 10
- GATE | GATE-CS-2015 (Mock Test) | Question 10
- GATE | GATE-CS-2015 (Mock Test) | Question 5