- Consider the following sentence: Let A and B be arbitrary formulas. If A and B are logically equivalent then A B is a tautology. Is that correct? Why? How about the converse? - The Lecture Notes given for this module provides a list of logical equivalences and call them algebraic laws of the propositional logic. Why call them like that? - How can we demonstrate or prove the laws of the propositional logic? Please illustrate with one example. - What do you understand by simplification of a propositional formula? Show an example.