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.The five-variable propositional formula
P::=(A??B??bar(C)??D??bar(E))vv(?bar(A)??B??bar(C)??bar(E))
is in Disjunctive Normal Form with two "AND-of-literal" clauses.
(a)(5 points) Find a full Disjunctive Normal Form ?1 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 don't try to write out any of these
clauses. Briefly explain your answer.
 The five-variable propositional formula P ::=(ABC DE )(A BC E )

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!