truth table for ~(A xor B xor C)