Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1998
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1998

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

Search the Archive

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



  • Prev by Date: chemistry equation for Mathematica
  • Next by Date: Re: ColorFunction in DensityPlot
  • Previous by thread: chemistry equation for Mathematica
  • Next by thread: Re: ColorFunction in DensityPlot