Re: Boolean Algebra
- To: mathgroup at smc.vnet.net
- Subject: [mg14204] Re: Boolean Algebra
- From: "Allan Hayes" <hay at haystack.demon.co.uk>
- Date: Wed, 7 Oct 1998 03:00:37 -0400
- References: <6u7jh3$so8@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
kyledavis wrote in message <6u7jh3$so8 at smc.vnet.net>... >Hi all, >Is it possible to simplify or minimize boolean expression by Mathematica >3.0. If it does, how do you do it ? Thanks in advance. > The only builtin function seems to be LogicalExpand which generates ORs of ANDs corresponding to disjunctive normal form, with some contractions. Not[Or[And[A,B],C]]//LogicalExpand !A && !C || !B && !C Not[And[Or[A,B],C]]//LogicalExpand !A && !B || !C Allan, ---------------------- Alllan Hayes Mathematica Training and Consulting www.haystack.demon.co.uk hay at haystack.demon.co.uk Voice: +44 (0)116 271 4198 Fax: +44 (0)870 164 0565