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. |