LogicalExpand

LogicalExpand[expr]

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.

Examples

open allclose all

Basic Examples  (1)

Expand out logic expressions:

In[1]:=
Click for copyable input
Out[1]=

Scope  (7)

Applications  (1)

Properties & Relations  (2)

Neat Examples  (1)

See Also

Expand  PiecewiseExpand  Reduce  BooleanConvert  Implies  Resolve  And  Not  Or

Tutorials

Introduced in 1988
(1.0)