What is a 'tautology' in terms of truth tables?
The last column contains only True (T)
The variables are all independent
The last column contains only False (F)
The table has an even number of rows