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)]  . • LogicalExpand generates ORs of ANDs corresponding to disjunctive normal form, with some contractions. • New in Version 1.
|
