如何规范化和简化(A ^ B) --> !B v C v !(A v C)
我使用(A->B) = !A或B规则对表达式进行了规范化。但我不确定如何简化它。我最终得到了答案!A v !B v C。
这是否正确，如果没有，我哪里错了？
答案 0 :(得分：0)
我得到了与你相同的答案。
1. (A ^ B) => !B V C V !(A v C)
2. (A ^ B) => !B V C V (!A ^ !C)
3. (A ^ B) => !B V (C V (!A ^ !C)) //(C V (!A ^ !C)) => C V !A
4. (A ^ B) => !B V (C V !A)
5. (A ^ B) => !A V !B V C
6. !(A ^ B) V (!A V !B V C)
7. (!A V !B) V (!A V !B V C)
8. !A V !B V C
建议...在步骤1中为表达式执行一个真值表，看它是否与步骤8中表达式的真值表匹配。这将验证我们的逻辑是否正确。就简化而言，第8步是尽可能的。
希望这有帮助！