A tautology is a statement (or logical formula) that is always true for any instantiation of facts. (X or Not X) is a tautology.