WEEK 1- 2nd LECTURE (Applications of Propositional Logic, Propositional Equivalences)