Question
Assume you have a CNF with n different propositional symbols distributed into clauses where each clause has precisely two members. (a) How many such two-member
Assume you have a CNF with n different propositional symbols distributed into clauses where each clause has precisely two members.
(a) How many such two-member clauses can be constructed given the restriction that no two clauses can be logically equivalent?
(b) Prove that when given a CNF of this particular form the runtime of propositional resolution algorithm is a polynomial function of n.
(c) Assume that we are now dealing with CNFs where each clause is of size > 2 (all clauses are still logically non-equivalent). Will the runtime of propositional resolution algorithm still be polynomial in n?
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started