This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / Built-in Functions / Algebraic Computation / Equation Solving /

LogicalExpand

FilledSmallSquare LogicalExpand[expr] expands out expressions containing logical connectives such as && and ||.

FilledSmallSquare LogicalExpand applies distributive laws for logical operations.

FilledSmallSquare Example: LogicalExpand[p && !(q || r)] LongRightArrow.

FilledSmallSquare LogicalExpand generates ORs of ANDs corresponding to disjunctive normal form, with some contractions.

FilledSmallSquare See Section 1.5.6 and Section 3.6.6.

FilledSmallSquare See also: Expand.

FilledSmallSquare New in Version 1.

Further Examples