Talk:Biconditional Operator

If the biconditional operator is equal to $$\neg(p \oplus q)$$, is it used for binary subtraction? Omniscient Prestidigitator 00:49, 11 May 2009 (UTC)
 * I don't think so. You might want to see this algorithm or others, if you google search "binary subtraction algorithm."  --AFriedman 05:46, 11 May 2009 (UTC)