La table de vérité de ~ A oplus B -LRB- aussi écrite comme A, mathrm -LCB- XOR -RCB-, B ou A neq B -RRB- est comme suit :
Le tableau de vérité de p, mathrm -LCB- XOR -RCB-, q -LRB- aussi écrit comme p oplus q, ou p neq q -RRB- est comme suit :