Which of the following statements hold?

Question

Answer

(¬a ∧ ¬b ∧ c) is a clause.

Answer

(¬b  ∨ c) is a literal.

Answer

(a ∨ ¬a) ∧ (b ∨ ¬b) ∧ (c) ∧ (¬c) is satisfiable.

Answer

(¬b ∨ ¬c ∨ c) ∧ (¬b ∨ b ∨ c ∨ a) is satisfiable.

Answer

(¬a) ∧ (¬b) ∧ (¬c) ∧ (a ∨ b ∨ c) is satisfiable.

Answer

(¬a ∨ b ∨ c) and ( b ∨ c ∨ ¬a ∨ c) are equivalent (under any assignment, they have the same value).

Crowdly