LogicalExpand

Available

Expand logical expression to disjunctive normal form.

Forms

LogicalExpand[expr]

Verified examplesLogicalExpand[a] → a

Run this on Qurak Search the reference

Topics

Algebraic Transformations - Logical & Boolean Operations »
Boolean Computation - Predicate Calculus
Inequalities - General
Manipulating Equations - General
Polynomial Systems - Equation Structure
Series Expansions - General

Related

Expand PiecewiseExpand Reduce BooleanConvert Implies Resolve And Not Or CoefficientArrays CoefficientList Integrate

All 6300 functions · Use this from an MCP client