我有两个逻辑表达式（只是示例）：
！（n> = x || n＆lt; -y）
和
n＆lt; x＆amp;＆amp; n> = -y
是否有任何工具可以比较这些表达式，看看它们在逻辑上是否相等？或者只是帮我找到最紧凑/最简单的形式？
答案 0 :(得分：0)
“最紧凑/最简单的形式”答案取决于您的紧凑/简洁的概念。例如，您可以执行许多简化步骤，例如转换为连接法线形式（消除||），然后消除否定（将（n＆gt; y）替换为（n＆lt; = y））。
可以通过结合F和G的否定来检查公式F和G的等价性，并检查F＆amp;＆amp ;;的可满足性。 ！G，例如，约束求解器。你应该小心你的域名，因为结果取决于你的域名（整数，有理数，实数）：2＆lt; n＆amp;＆amp; n＆lt; 3对于整数是不可满足的，但它对于实数是可以满足的！