DOCUMENTATION CENTER SEARCH
Mathematica
>
Logic & Boolean Algebra
>
Built-in
Mathematica
Symbol
Relational and Logical Operators
Logical and Piecewise Functions
Solving Equations Involving Power Series
Tutorials »
|
Expand
PiecewiseExpand
Reduce
Implies
Resolve
And
Not
Or
See Also »
|
Algebraic Transformations
Inequalities
Logic & Boolean Algebra
Manipulating Equations
Polynomial Systems
More About »
LogicalExpand
LogicalExpand
[
expr
]
expands out expressions containing logical connectives such as
&&
and
||
.
MORE INFORMATION
LogicalExpand
applies distributive laws for logical operations.
LogicalExpand
generates ORs of ANDs corresponding to disjunctive normal form, with some contractions.
EXAMPLES
CLOSE ALL
Basic Examples
(1)
Expand out logic expressions:
In[1]:=
Out[1]=
Scope
(7)
Applications
(1)
Properties & Relations
(2)
Neat Examples
(1)
SEE ALSO
Expand
PiecewiseExpand
Reduce
Implies
Resolve
And
Not
Or
TUTORIALS
Relational and Logical Operators
Logical and Piecewise Functions
Solving Equations Involving Power Series
MORE ABOUT
Algebraic Transformations
Inequalities
Logic & Boolean Algebra
Manipulating Equations
Polynomial Systems
New in 1
© 2008 Wolfram Research, Inc.
EXAMPLES
Basic Examples 
Scope 