9. Tautologies and contradictions

In propositional logic, one of the most interesting consequences of working with different kinds of propositions is getting such compound propositions that are always true or always false.