truth table NOT (c XOR NOT d)