Up: Logical connectors
The connector we introduce here is known in Electronics as XOR.
This connector is described by the following table:
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.
be two propositions. The connexion
is true if, and only if,
have the different logical