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:

Scope  (7)

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:

Applications  (1)

Prove tautologies:

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:

Introduced in 1988
 (1.0)