Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

3. (15 points) Satisfactory DNF We closed out our lectures on propositional logic by discussing the computational Satisfiability problem. For this problem, we are given

image text in transcribed

3. (15 points) Satisfactory DNF We closed out our lectures on propositional logic by discussing the computational Satisfiability problem. For this problem, we are given as input a formula in CNF and asked to find out if it can be satisfied, i.e., there is a setting of the variables that makes the formula true. This is a very hard problem to solve efficiently and a "good" algorithm would win one million dollars. However it turns out that if the input is given in DNF the problem becomes very easy to solve. First we will build up a little intuition. (a) Write down two different formulas in DNF that can be satisfied. (b) Write down two different formulas in DNF that can not be satisfied (c) Now, describe a fast algorithm that decides if a DNF formula can be satisfied. (Your algorithm should be fast, even for formulas with thousands of variables. So you should not build a truth table.) 3. (15 points) Satisfactory DNF We closed out our lectures on propositional logic by discussing the computational Satisfiability problem. For this problem, we are given as input a formula in CNF and asked to find out if it can be satisfied, i.e., there is a setting of the variables that makes the formula true. This is a very hard problem to solve efficiently and a "good" algorithm would win one million dollars. However it turns out that if the input is given in DNF the problem becomes very easy to solve. First we will build up a little intuition. (a) Write down two different formulas in DNF that can be satisfied. (b) Write down two different formulas in DNF that can not be satisfied (c) Now, describe a fast algorithm that decides if a DNF formula can be satisfied. (Your algorithm should be fast, even for formulas with thousands of variables. So you should not build a truth table.)

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Logistics Lifeline Supply Chain Strategies

Authors: Ehsan Sheroy

1st Edition

7419377502, 978-7419377503

More Books

Students also viewed these Databases questions

Question

1. Write down two or three of your greatest strengths.

Answered: 1 week ago

Question

Demonstrate three aspects of assessing group performance?

Answered: 1 week ago