A tautology is an expression (or formula) that always evaluates to true regardless of the possible values of the variables involved.


No, tabstop did not say that. However, I think that you are...