Finally, we turn to the exclusive or operator. The English word ‘or’ is actually somewhat ambiguous. The two operators ⊕ and ∨ express the two possible meanings of this word. The proposition p ∨ q can be expressed unambiguously as “p or q, or both”, while p ⊕ q stands for “p or q, but not both”. If a menu says that you can choose soup or salad, it doesn’t mean that you can have both. In this case, ‘or’ is an exclusive or. On the other hand, in “You are at risk of heart disease if you smoke or drink”, the or is inclusive since you certainly don’t get off the hook if you both smoke and drink. In theoretical computer science and mathematics, the word ‘or’ is always taken in the inclusive sense of p ∨ q.