Propositional logic/Tautology/Truth table/Exercise