0:00
专家逻辑等价等价检查

以下表达式是否可满足(能否使其为真)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

判断是否存在一个真值赋值使得该表达式为真。