Answer both questions?

1. Let the following statements be given p "You can vote." q = "You are under 18 years old." "You are from Mars." (a) Translate the following statement into symbols of formal logic. 05 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 p q is logically equivalent to (p q) (q p) using truth tables. Use truth tables to establish the following equivalences. (a) Show that-cpv q) is logically equivalent to-p ^-q (b) Show that-op ^ q) is logically equivalent to p v-q. These equivalences are known as De Morgan's laws, after the nineteenth-century logician Augustus De Morgan