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

Re: boolean function simplify

• To: mathgroup at smc.vnet.net
• Subject: [mg61873] Re: boolean function simplify
• From: "Jens-Peer Kuska" <kuska at informatik.uni-leipzig.de>
• Date: Thu, 3 Nov 2005 04:58:43 -0500 (EST)
• Organization: Uni Leipzig
• References: <dk9vu3$6tb$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

Hi,

1 ist *not* the same True
and what is True + True ??
The operation is not defined in the
usual way. It is very common to write
+ for Or and * for And operations and it may
be, that you mean

x1 || x2 || x1 && x2|| x1|| x2 || True|| True

and it is clear, that this is True in any way.
Mathematica knows this and find the simplification.

Regards
  Jens



<xxxxyz at abv.bg> schrieb im Newsbeitrag 
news:dk9vu3$6tb$1 at smc.vnet.net...
| 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.
|