Propositional logic/Tautology/Commutativity law/Truth table/Exercise