Question: The five - variable propositional formula P :: = ( A B C D E ) ( A B C E ) is in Disjunctive

The five-variable propositional formula
P ::=(ABC DE )(A BC E )
is in Disjunctive Normal Form with two AND-of-literal clauses.
(a)(5 points) Find a full Disjunctive Normal Form1 that is equivalent to P , and explain your reasoning. Hint: Can you narrow in on the important parts of the truth table without writing all of it? Alternatively, can you avoid the truth table altogether?
(b)(5 points) Let C be a full Conjunctive Normal Form that is equivalent to P. Assume that C has been simplified so that none of its OR-of-literals clauses are equivalent to each other. How many clauses are there in C? Please dont try to write out any of these clauses. Briefly explain your answer.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!