MathTop

boolean_contradiction 函数

判断布尔公式是否在所有变量赋值下都为假。

语法

  • Logic:-Contradiction(booleanExpr)
  • Contradiction(booleanExpr)
  • boolean_contradiction(booleanExpr)

参数与选项

booleanExpr要测试的布尔公式。

示例

  1. 矛盾公式Logic:-Contradiction(p and not p)返回 true。