A tautology is represented in symbolic logic as formula_9, meaning "Either "a" or not "a"." Assuming that there are no unmentioned possibilities, this covers every possible case. Another symbol used to represent a tautology is formula_10. 