Tautology am e a V na is a tautology Solution: a-a aV -aTautology . Example . .α ∨ ¬α is a tautology. . Solution: . . α ¬α α ∨ ¬α T F T F T T Yi Li (Fudan University) Discrete Mathematics April 2, 2013 10 / 20