[Date Index] [Thread Index] [Author Index]

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