Writing\Proposition\Either_or
The exclusive disjunction truth functor. Its truth table is:
Essentially one or the other but not both operands must be true for the expression to evaluate as true.
Example
Natural language: “Either the findings of the Atkinson Committee are correct or the Blenkinsop Report is valid; They can’t both be right.”
Pacisco: The findings of the Atkinson Committee are correct. either_or The Blenkinsop Report is valid.
