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



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

FilledSmallSquareLogicalExpand applies distributive laws for logical operations.

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

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

FilledSmallSquare See The Mathematica Book: Section 1.5.6 and Section 3.6.6.

FilledSmallSquare See also: Expand.

Further Examples