ABSTRACT

In formal logic connection of two elementary propositions p and q by or, such that the propositional connection is true if and only if either p or q is true, but not if both are true (in contrast with inclusive or, disjunction). This relation is represented in the (twoplace) truth table:

p q p q t t f

t f t

f t t

f f f

This or (also: exclusive or), which corresponds to Lat. aut…aut… (‘either this one or the other one, but not both of them’) frequently occurs in everyday language.