(A xor B xor C xor D) and ((A and B) or (C and D)) truth table