Determine if each expression is satisfiable or unsatisfiable. If it is, give values for the variables that
Fantastic news! We've Found the answer you've been seeking!
Question:
Determine if each expression is satisfiable or unsatisfiable. If it is, give values for the variables that satisfy it. If not, explain why it is not satisfiable.
a. (p ∨ q ∨ ¬r) ∧ (p ∨ ¬q ∨ ¬s) ∧ (¬p ∨ r)
b. p ∧ (¬p ∨ r) ∧ ¬r ∧ (¬p ∨ ¬r ∨ q)
Related Book For
Discrete Mathematics and Its Applications
ISBN: 978-0073383095
7th edition
Authors: Kenneth H. Rosen
Posted Date: