A compound proposition is a tautology if and only if:
It is true for at least one row in its truth table.
It is false for all rows in its truth table.
It is true for all rows in its truth table.
It contains at least one negation.