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.
Details and Options
- 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.
Examplesopen allclose all
Basic Examples (3)
Convert a Boolean expression to different forms:
If and constants:
Show that they are all equivalent:
Convert a Boolean function using a "care set" or condition:
The resulting forms are equivalent when cond is true:
They are not equivalent without the condition:
Properties & Relations (3)
The output from BooleanConvert is equivalent to its input:
The output from BooleanConvert with condition is conditionally equivalent to its input:
The forms f and g are equivalent when cond is true:
They are not equivalent on their own:
Use BooleanMinimize to get the minimal length form:
Neat Examples (1)
Wolfram Research (2008), BooleanConvert, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanConvert.html.
Wolfram Language. 2008. "BooleanConvert." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanConvert.html.
Wolfram Language. (2008). BooleanConvert. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanConvert.html