just question one 1. Determine whether there is a solution to the SAT problem re

Question

just question one

1. Determine whether there is a solution to the SAT problem represented by the following clauses. 2. A class BinArray defined as in the lecture notes can be used in enumerating solutions problems like SAT. Conceptually, it represents a set of n variables o....-1 that can take the values 0 or 1; these are structured as a binary number (least significant bit leftmost) for ease of enumeration. This binary mumber is held in the attribute array al): for four variables, for example, it might be set to one of the following values: o 00 0

Explanation / Answer

x0 v ¬x1 v ¬x3    it is satisfiable with x0 = true
                    x1 = false or x3 = false

x1 v x2 v ¬x3     it is satisfiable with x1 = true or
                    x3 = false or x2 = true

¬x0 v ¬x2 v x3    Satisfiable with x3 = True or x2 = false or x0 = false

x1 v x2 v ¬x3    Satisfiable with x1 = True or x2 = true or x3 = false

x0 v x1 v x2    Satisfiable with x0 = True or x1 = true or x2 = true

¬x0 v x1 v x2    Satisfiable with x0 = False or x1 = true or x2 = true

x0 v x2 v x3    Satisfiable with x0 = True or x2 = true or x3 = true

¬x0 v ¬x1 v x3    Satisfiable with x0 = False or x1 = False or x3 = true

Related Questions

Navigate

• Browse (All)
• Browse J
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.