Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'Simplifying Xor' topicStudent Support Forum > General > "Simplifying Xor"

< Previous CommentHelp | Reply To Comment | Reply To Topic
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: ,

Subject (listing for 'Simplifying Xor')
Author Date Posted
Simplifying Xor Gabriel 09/23/07 3:03pm
Re: Simplifying Xor Forum Modera... 09/23/07 6:44pm
Re: Simplifying Xor Gabriel 09/24/07 00:33am
< Previous CommentHelp | Reply To Comment | Reply To Topic