Construct a truth table for the statement.

(p ↔ q) → p