1 and 2 please

Let the following statements be given p = "You can vote." Q = "You are under 18 years old." r = "You are from Mars." Translate the following statement into symbols of formal logic. You can't vote if you are under 18 years old are from Mars. Give the contrapositive of this statement in the symbols of formal logic. Use truth table to show Show that p doubleheadarrow q) lambda (q rightarrow p) using truth tables. Use truth tables to establish the following equivalences. show that (p nu q) is logically equivalent to p lambda q. show that (p lambda q) is logically equivalent to p nu q. These equivalences are known as De Morgan's laws, after the nineteenth-century logician Augustus De Morgan