Definition:Tautology (Boolean Interpretations)