Input (grade 7): The truth table of ~ A oplus B (also written as A, mathrm {XOR}, B or A neq B) is as follows:
Output (grade 7): The truth table of p, mathrm {XOR}, q (also written as p oplus q, or p neq q) is as follows: