| Author |
Comment/Response |
Gabriel
|
 09/24/07 00:33am
In Response To 'Re: Simplifying Xor'
---------
Tom Zeller wrote:
> Try applying LogicalExpand
> ...
> (b && ! c) || (c && ! b)
That's not so good, because, first, I cannot convert it back to Xor, and second, with a few more variables it already becomes unwidely:
In[4]:= LogicalExpand[Xor[a, a, b, b, c, d, e, f]]
Out[4]= (c && d && e && ! f) || (c && d && f && ! e) || (c && e &&
f && ! d) || (c && ! d && ! e && ! f) || (d && e &&
f && ! c) || (d && ! c && ! e && ! f) || (e && ! c && ! d && !
f) || (f && ! c && ! d && ! e)
Regards,
Gabriel
URL: , |
|
