2) Convert this boolean 3-SAT problem to a Clique (𝑥∨ ¬ 𝑦∨𝑧)∧( ¬ 𝑥∨𝑦∨¬𝑧)
Posted: Fri May 20, 2022 5:09 pm
2) Convert this boolean 3-SAT problem to a Clique (𝑥∨ ¬ 𝑦∨𝑧)∧( ¬
𝑥∨𝑦∨¬𝑧)∧(𝑥∨¬𝑦∨𝑧) . Is this formula satisfiable i.e., can you find a
clique of size 3? If yes, give one set of truth values for x, y, z
for which the formula is satisfiable. Please include an image of
your graph.
𝑥∨𝑦∨¬𝑧)∧(𝑥∨¬𝑦∨𝑧) . Is this formula satisfiable i.e., can you find a
clique of size 3? If yes, give one set of truth values for x, y, z
for which the formula is satisfiable. Please include an image of
your graph.