Construct a truth table for the expression p o (p ext or q) and determine if it is a tautology.

We need columns for $p$, $q$, $p \lor q$, and $p \to (p \lor q)$.

Recall that $p \lor q$ is true if at least one of $p$ or $q$ is true.
Recall that $p \to r$ is false only when $p$ is true and $r$ is false; otherwise, it is true.

All the truth values in the column for $p \to (p \lor q)$ are 'T' (True).

Since the expression $p \to (p \lor q)$ is true for all possible truth values of $p$ and $q$, it is a tautology.