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