NOT ((A and B and NOT C) or (NOT (A XOR B)))