MathTop

boolean_satisfiable 函数

判断布尔公式是否至少存在一种变量赋值使其为真。

语法

  • Logic:-Satisfiable(booleanExpr)
  • Satisfiable(booleanExpr)
  • boolean_satisfiable(booleanExpr)

参数与选项

booleanExpr要测试的布尔公式。

示例

  1. 可满足公式Logic:-Satisfiable(p and not q)返回 true。