Wolfram ResearchPRODUCTSPURCHASEFOR USERSCOMPANYOUR SITES
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Built-in Functions / Algebraic Computation / Equation Solving /

LogicalExpand

Usage

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


Notes

• LogicalExpand applies distributive laws for logical operations.
• Example: LogicalExpand[p && !(q || r)]LongRightArrow .
• LogicalExpand generates ORs of ANDs corresponding to disjunctive normal form, with some contractions.
• See Section 1.5.6, Section 3.3.9 and Section 3.6.6.
• See also: Expand, PiecewiseExpand.
• New in Version 1.
Further Examples


Any questions about topics on this page? Click here to get an individual response.Buy NowFree TrialMore Information



 © 2008 Wolfram Research, Inc. • Terms of Use • Privacy Policy |
Sign up for our newsletter: