c - 如何简化这些复合逻辑表达式？

Question

如何简化这些复合逻辑表达式？

!((x <= 5) && (y == 10) && (z < 5))  // 1
!(x == 10) || !((y == 5) || (z < 0)) // 2

我已阅读简化规则，但我不明白如何处理 ==。

这来自 E Balagurasy 编写的“Programing in ANSI C”在设计决策语句时，我们经常会遇到将逻辑 NOT 运算符应用于复合逻辑表达式的情况，例如 !(x&&y || !z)。然而，正逻辑总是比负逻辑更容易阅读和理解。在这种情况下，我们可以应用所谓的德摩根规则来使总表达式为正。规则如下:“通过对每个逻辑表达式组件应用 NOT 运算符来删除括号，同时补充关系运算符。”示例: !(x&&y || !z) 变为 !x || !y && z。

Answer 1

我给你一些提示，以免你做作业:

!(a || b || c) = (!a && !b && !c)

!(a && b && c) = (!a || !b || !c)

!(a == b) = (a != b)

!(a <= b) = (a > b)

您应该能够从那里获取它。