XOR (a, XOR (b, c)) vs NAND (a, NAND (b,c))