<div class="gmail_quote">On Sun, Feb 19, 2012 at 17:03, Hendrik Boom <span dir="ltr">&lt;<a href="mailto:hendrik@topoi.pooq.com">hendrik@topoi.pooq.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">
<br>
</div>The trouble is, I can never remember which of &#39;nand&#39; and &#39;nor&#39; is<br>
which.  Either of them could mean &#39;neither&#39;.  But I do know what<br>
&#39;neither&#39; means.<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br>Think of them as composed boolean functions:<br>- nand is &quot;not and&quot;<br>- nor is &quot;not or&quot;<br><br>`and&#39; is true only when both (all) arguments are true. False otherwise.<br>

`nand&#39; is false only when both (all) arguments are true. True otherwise.<br><br>Truth table:<br>A B (nand A B)<br>t t f<br>t f t<br>f t t<br>f f t<br><br><br>`or&#39; is false only when both (all) arguments are false. True otherwise.<br>

`nor&#39; is true only when both (all) arguments are false. True otherwise.<br> </div></div>A B (nor A B)<br>t t f<br>t f f<br>f t f<br>f f t<br><br><br>So, when you say &#39;neither&#39; you mean &#39;nor&#39;.<br><br><br>

<br>Ah, then there&#39;s also XOR (eXclusive OR):<br>True when the arguments are different.<br><br>A B (xor A B)<br>
t t f<br>
t f t<br>
f t t<br>
f f f<br><br><br>Anyway, IMHO I don&#39;t see need to have these bindings in #lang racket.<br>