2.1 Logical Equivalence and Truth Tables