Propositional logic/Tautology/Associativity law/Truth tables/Exercise