0:00
难度: 专家类别: 逻辑等价类型: 等价检查

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

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

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