Computer Science Engineering (CSE) Exam > Computer Science Engineering (CSE) Questions > Which of the following is TRUE about formulae...
Start Learning for Free
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
Correct answer is option 'A'. Can you explain this answer?
| FREE This question is part of | Download PDF Attempt this Test |
Verified Answer
Which of the following is TRUE about formulae in Conjunctive Normal Fo...
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. Xj = 1 if clause ‘j’ is satisfied Xj = 0 otherwise Then, X = summation of (j * Xj) 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(Xj) = 1 * (1 / 2)k = (1 / 2)k Therefore, E(Xj) >= 1/2 Summation on both sides to get E(X). Therefore, we have E(X) = summation of (j * Xj) >= 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.
Most Upvoted Answer
Which of the following is TRUE about formulae in Conjunctive Normal Fo...
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. Xj = 1 if clause ‘j’ is satisfied Xj = 0 otherwise Then, X = summation of (j * Xj) 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(Xj) = 1 * (1 / 2)k = (1 / 2)k Therefore, E(Xj) >= 1/2 Summation on both sides to get E(X). Therefore, we have E(X) = summation of (j * Xj) >= 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.
Attention Computer Science Engineering (CSE) Students!
To make sure you are not studying endlessly, EduRev has designed Computer Science Engineering (CSE) study material, with Structured Courses, Videos, & Test Series. Plus get personalized analysis, doubt solving and improvement plans to achieve a great score in Computer Science Engineering (CSE).
|
Explore Courses for Computer Science Engineering (CSE) exam
|
|
Top Courses for Computer Science Engineering (CSE)View all
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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer?
Question Description
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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? for Computer Science Engineering (CSE) 2024 is part of Computer Science Engineering (CSE) preparation. The Question and answers have been prepared according to the Computer Science Engineering (CSE) exam syllabus. Information about 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? covers all topics & solutions for Computer Science Engineering (CSE) 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer?.
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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? for Computer Science Engineering (CSE) 2024 is part of Computer Science Engineering (CSE) preparation. The Question and answers have been prepared according to the Computer Science Engineering (CSE) exam syllabus. Information about 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? covers all topics & solutions for Computer Science Engineering (CSE) 2024 Exam. Find important definitions, questions, meanings, examples, exercises and tests below for 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer?.
Solutions for 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? in English & in Hindi are available as part of our courses for Computer Science Engineering (CSE).
Download more important topics, notes, lectures and mock test series for Computer Science Engineering (CSE) Exam by signing up for free.
Here you can find the meaning of 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? defined & explained in the simplest way possible. Besides giving the explanation of
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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer?, a detailed solution for 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? has been provided alongside types of 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? theory, EduRev gives you an
ample number of questions to practice 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 truec)There is a formula such that for each truth assignment, at most one-fourth of the clauses evaluate to true.d)None of the aboveCorrect answer is option 'A'. Can you explain this answer? tests, examples and also practice Computer Science Engineering (CSE) tests.
|
|
Explore Courses for Computer Science Engineering (CSE) exam
|
|
Suggested Free Tests
Signup for Free!
Signup to see your scores go up within 7 days! Learn & Practice with 1000+ FREE Notes, Videos & Tests.
|
© EduRev
|
Education Revolution
|
Follow Us
|
Signup to see your scores
go up within 7 days!
Access 1000+ FREE Docs, Videos and Tests
Takes less than 10 seconds to signup