P is a tautology that will always be true regardless of the truth values of p and q. A truth table lists all possible combinations of true and false values for p and q, and shows that P is always true. Checking a proposition with a truth table is a way to determine if it is a tautology or contradiction in propositional logic.