This paper discusses the difference between what is known as an ‘inclusive or’ and an ‘exclusive or’ in logic, and advocates having a separate truth table and logical operator for both.
Several other topics come up as part of the discussion, such as disjunctive syllogism, De Morgan’s rule, various propositions which have logical equivalence, and connections to categorical logic.
The paper can be downloaded here:
Published 5/11/2021
Updated with Addendum 8/16/2023