By Non-local reasoning (NXOR reasoning) there is sameness between P and not-P, and the result is True
if P;not-P have the same values (F,F ; T,T).
For example:
If P is Non-local then:
a) P XOR not-P is a contradiction (F,T ; T,F is False).
b) P NXOR not-P is consistent (F,F ; T,T is True).
Code:
P not-P NXOR
F F T (Non-locality)
F T F (Locality)
T F F (Locality)
T T T (Non-locality)
By Local reasoning (XOR reasoning) there is difference between P and not-P, and the result is True
if P;not-P have different values (F,T ; T,F).
For example:
If P is Local then:
a) P NXOR not-P is a contradiction (F,F ; T,T is False).
b) P XOR not-P is consistent (F,T ; T,F is True).
Code:
P not-P XOR
F F F (Non-locality)
F T T (Locality)
T F T (Locality)
T T F (Non-locality)
You simply do not get Non-local reasoning, which is the complement of Local reasoning
under NXOR(=sameness)\XOR(=difference) Logic.
The reason that you do not get it is that you simply use Local reasoning as the one and only one reasoning.