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

Re: boolean function simplify

• To: mathgroup at smc.vnet.net
• Subject: [mg61886] Re: boolean function simplify
• From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
• Date: Thu, 3 Nov 2005 04:58:58 -0500 (EST)
• Organization: The Open University, Milton Keynes, UK
• References: <dk9vu3$6tb$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

xxxxyz at abv.bg wrote:
> Hi,
> 
> Is there a way to simplify a boolean function?
> For example if we have x1+x2+x1x2+x1+x2+1+1 the function has to return
> x1+x2+x1x2+1.
> 
> Thanks.
> 
Have you tried *LogicalExpand*?

http://documents.wolfram.com/mathematica/Built-inFunctions/AlgebraicComputation/EquationSolving/FurtherExamples/LogicalExpand.html

Regards,
/J.M.