boolean_equivalent 函数
判断两个布尔公式是否在所有变量赋值下真值相同。
语法
Logic:-Equivalent(left, right)Equivalent(left, right)boolean_equivalent(left, right)
参数与选项
left | 第一个布尔公式。 |
|---|---|
right | 第二个布尔公式。 |
示例
- 蕴含等价
Logic:-Equivalent(p implies q, not p or q)返回 true。
判断两个布尔公式是否在所有变量赋值下真值相同。
Logic:-Equivalent(left, right)Equivalent(left, right)boolean_equivalent(left, right)left | 第一个布尔公式。 |
|---|---|
right | 第二个布尔公式。 |
Logic:-Equivalent(p implies q, not p or q)返回 true。