MathTop

boolean_simplify 函数

化简布尔公式并保持其真值不变。

语法

  • Logic:-BooleanSimplify(booleanExpr)
  • Logic[BooleanSimplify](booleanExpr)
  • BooleanSimplify(booleanExpr)
  • boolean_simplify(booleanExpr)

参数与选项

booleanExpr使用名称以及 and、or、not、xor、implies 组成的布尔公式。

示例

  1. 化简公式Logic:-BooleanSimplify((p and q) or (p and not q))返回 p。
  2. 索引包形式Logic[BooleanSimplify]((p and q) or (p and not q))返回 p。