BUILT-IN MATHEMATICA SYMBOL
BooleanConvert
BooleanConvert[expr]
converts the Boolean expression expr to disjunctive normal form.
BooleanConvert[expr, form]
converts the Boolean expression expr to the specified form.
BooleanConvert[expr, form, cond]
finds an expression in the specified form that is equivalent to expr when cond is true.
- BooleanConvert[expr, form] will produce an expression equivalent to expr.
- Available forms are:
-
| "DNF","SOP" | disjunctive normal form, sum of products |
| "CNF","POS" | conjunctive normal form, product of sums |
| "ESOP" | exclusive sum of products |
| "ANF" | algebraic normal form |
| "NOR" | two-level Nor and Not |
| "NAND" | two-level Nand and Not |
| "AND" | two-level And and Not |
| "OR" | two-level Or and Not |
| "IMPLIES" | Implies and Not |
| "ITE","IF" | If and constants |
| "BFF" | BooleanFunction form |
| "BDT" | Boolean decision tree |
- The expression expr can contain any Boolean or logical functions, including BooleanFunction, BooleanCountingFunction, etc.
- BooleanConvert[bf, form] converts the internal form of a pure BooleanFunction object.
- BooleanConvert supports a Method option that specifies the detailed method to use.
New in 7
