是否可以检查两个布尔函数是否等效

Question

假设我有2个布尔函数

---

1）foo > 6 and bar < 6 and baz = 6

---

2）baz = 6 and foo > 6 and bar < 6有没有一种方法可以检查它们是否代表相同的含义。不给它们分配2个可能的值，它们将是2 ^ n布尔真值表

Answer 1

只需检查所有相关值。在您的情况下，他为每个变量的值分别为{5,6,7}。这应该足够了，因为您仅检查<6=6?>6。

这使3 ^ 3 = 27例