>>18My definition used the binary operators | and & and not the logical && and ||. (my mistake)Also, my definition of tD() checks if just two are unequal.
>>19I see a solution, if true and false are numbers 1 and 0.