note
wagemonkey
You have defined XOR as <code>(a&b) | (~a&~b)</code> , surely this is the inverse of XOR ( the biconditional).<BR> Shouldn't XOR be defined as <code> (a&~b) | (~a&b)</code>?
282181
282181