<div class="gmail_quote">On Sun, Feb 19, 2012 at 17:03, Hendrik Boom <span dir="ltr"><<a href="mailto:hendrik@topoi.pooq.com">hendrik@topoi.pooq.com</a>></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 'nand' and 'nor' is<br>
which. Either of them could mean 'neither'. But I do know what<br>
'neither' means.<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br>Think of them as composed boolean functions:<br>- nand is "not and"<br>- nor is "not or"<br><br>`and' is true only when both (all) arguments are true. False otherwise.<br>
`nand' 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' is false only when both (all) arguments are false. True otherwise.<br>
`nor' 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 'neither' you mean 'nor'.<br><br><br>
<br>Ah, then there'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't see need to have these bindings in #lang racket.<br>