是否有一个C/C++库允许你找出一组表达式是否互斥?

我认为你需要一套简单的规则来告诉你两个表达式是相等的,还是完全不同的。

让我们从最简单的两个开始:b>3和b<=3

检查它们是否相等很容易: b>3 和 b>3个 b>3个 b<=3 显然不是。

b>3个 NOT (b<=3) . 通过简单地在前面添加NOT,我们将“distinct”改为“equal”比较。

您的软件现在应该有了转换的逻辑 否(b<=3) 到 (b>3) . 因为它们是完全相等的,原始的是完全不同的。

NOT (A AND B) is equal to NOT A OR NOT B
NOT (A OR B) is equal to NOT A AND NOT B

现在将这两个规则结合起来:

• 不要放在其中一个表达式前面
• 不要用摩根斯定律把它分配到表达式最基本的部分。
• 然后比较所有元素

e、 g.假设我们想知道下列表达式是否完全不同:

(a<3) and not (b>=7)
(b>=7) or (a>=3)

首先在第二个前面放一个大的NOT:

NOT ((b>=7) or (a>=3))

然后分发NOT:

(NOT (b>=7)) and (NOT (a>=3))

现在使用第一条规则从两个表达式中删除not:

(a<3) and (b<7)
(b<7) and (a<3)