Lecture on the Propositional Logic, Truth Tables, Logical Equivalences, and Deductions, for Discrete Math.