✅ Tautology ⊤ === a propositional function A, for which each ✅ Propositional evaluation function B is: B(A) = w== 📖 Example: p ∨ ¬p