expands out logical combinations of equations, inequalities, and other functions.
Details and Options
- LogicalExpand applies distributive laws for logical operations.
- LogicalExpand generates ORs of ANDs corresponding to disjunctive normal form, with some contractions.
Examplesopen allclose all
Basic Examples (1)
Expand out logic expressions:
Represent logic expressions as a disjunction of conjunctions (disjunctive normal form):
Simplify logic expressions:
Expand logic expressions out to forms involving only And, Or, and Not:
Expand out combinations of equations:
Get separate equations for different terms in a series:
Convert multi-argument equations and inequalities to two-argument form:
Expand negations of Element statements:
Properties & Relations (2)
The output of LogicalExpand is equivalent to the input:
De Morgan's laws:
Neat Examples (1)
An expanded Xor of variables will always contain terms: