Solve the MAXSAT-problem for the following conjunctive form: f = (a b c)(b c)(a
Question:
Solve the MAXSAT-problem for the following conjunctive form:
f = (a ∨ b ∨ c)(b ∨ c)(a ∨ d)(a ∨ d)(b ∨ c)(c ∨ d)(a ∨ c).
1 Is the equation f = 1 for the given function satisfiable?
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Related Book For
Logic Functions And Equations Examples And Exercises
ISBN: 978-9048181650
1st Edition
Authors: Bernd Steinbach ,Christian Posthoff
Question Posted: