The connector we introduce here is known in Electronics as XOR.

Definition 2.3.19
Let and be two propositions. The connexion
is true if, and only if, and have the different logical
values.

This connector is described by the following table:

T

T

F

T

F

T

F

T

T

F

F

F

For example, the sentence ``If Lassie is a dog or a cat, then Paris is
in Europe'' is true; the premice is true because Lassie is a dog and
not a cat, and the conclusion is surely true.
root
2002-06-10