Given the following formula in CNF:
(a ∨ c) ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ ¬b ∨ ¬ c ) ∧ ( ¬a ∨ c ∨ ¬d )

Which of the following statements hold?

Question

Given the following formula in CNF: 
 (a ∨ c) ∧ ( a  ∨ b ∨ d )   ∧   ( a   ∨    ¬b   ∨  ¬ c )   ∧   ( ¬a   ∨   c ∨ ¬d )

Which of the following statements hold?

Answer

(a ∨ b ∨ d) is a blocked clause with blocking literal d.

Answer

( a   ∨   c ) is a blocked clause.

Answer

( a   ∨    ¬b   ∨  ¬ c )  is a blocked clause with blocking literal  ¬ c .

Answer

(a ∨ b ∨ d) is a blocked clause with blocking literal a.

Answer

( a   ∨    ¬b   ∨  ¬ c )  is a blocked clause with blocking literal  ¬b .

Answer

( a   ∨    ¬b   ∨  ¬ c )  is a blocked clause with blocking literal  a .

Crowdly