Explanation

The expression p ∨ ¬p (read as "p or not p") is a tautology.

A tautology is a logical statement that is always true regardless of the truth value of its components.

 p ∨ ¬p is always true because either p is true or ¬p (not p) is true.