Home Work 1 Please submit your solutions through Canvas. Write your solutions in word document and upload it to canvas Due Date: Feb 6, 2018, Tuesday. 1. Let the following statements be given p-"You can vote." q-"You are under 18 years old." r "You are from Mars. (a) Translate the following statement into symbols of formal logic. You can't vote if you are under 18 years old or you are from Mars (b) Give the contrapositive of this statement in the symbols of formal logic. 2. Use truth table to show show that pq is logically equivalent to (p q) (q p) using truth tables. Use truth tables to establish the following equivalences. (a) Show that -(p Vg) is logically equivalent to pA-q (b) Show that -pA is logically equivalent to p V- These equivalences are known as De Morgan's laws, after the nineteenth-century logician Augustus De Morgan