MathTop

boolean_tautology 函数

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

语法

  • Logic:-Tautology(booleanExpr)
  • Tautology(booleanExpr)
  • boolean_tautology(booleanExpr)

参数与选项

booleanExpr要测试的布尔公式。

示例

  1. 恒真公式Logic:-Tautology(p or not p)返回 true。