Suppose you have the following set of clauses: CNF={{1, -2}, {1, 2}, {-1, 2, -3}, {-1, -2, 3}, {-1, -2, -3}, {-1, 2, 3}} Apply DPLL, in order to check if the clause set can be satisfied.

Holt Mcdougal Larson Pre-algebra: Student Edition 2012
1st Edition
ISBN:9780547587776
Author:HOLT MCDOUGAL
Publisher:HOLT MCDOUGAL
ChapterCSR: Contents Of Student Resources
Section: Chapter Questions
Problem 2.14EP
icon
Related questions
Question
Logic and Reasoning
Suppose you have the following set of clauses:
CNF={{1, -2}, {1, 2}, {-1, 2, -3}, {-1, -2, 3}, {-1, -2, -3}, {-1, 2, 3}}
Apply DPLL, in order to check if the clause set can be satisfied.
Transcribed Image Text:Logic and Reasoning Suppose you have the following set of clauses: CNF={{1, -2}, {1, 2}, {-1, 2, -3}, {-1, -2, 3}, {-1, -2, -3}, {-1, 2, 3}} Apply DPLL, in order to check if the clause set can be satisfied.
Expert Solution
steps

Step by step

Solved in 4 steps with 44 images

Blurred answer