假设我有2个布尔函数
1）foo > 6 and bar < 6 and baz = 6
foo > 6 and bar < 6 and baz = 6
2）baz = 6 and foo > 6 and bar < 6有没有一种方法可以检查它们是否代表相同的含义。不给它们分配2个可能的值，它们将是2 ^ n布尔真值表
baz = 6 and foo > 6 and bar < 6
只需检查所有相关值。在您的情况下，他为每个变量的值分别为{5,6,7}。这应该足够了，因为您仅检查<6=6?>6。
<6
=6?
>6
这使3 ^ 3 = 27例