Wolfram Language & System 10.0 (2014)|Legacy Documentation
converts the Boolean expression expr to disjunctive normal form.
converts the Boolean expression expr to the specified form.
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.