(That was a fun title to write!)
At the start of our discrete mathematics course we talk about symbolic logic. Students are often confused by the logical operator "OR."
If p and q are statements then p OR q is true if either p is true or q is true or if both p and q are true. This is easily expressed in a truth table: