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.