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 under 18 years old or you are from Mars. Give the contrapositive of this statement in the symbol of formal logic. Show that p rightarrow q is logically equivalent to (p rightarrow q) (q rightarrow p) using truth tables. Use truth tables to establish the following equations. Show that not (p V q) is logically to not p no. Show that not (p q) is logically equivalents to not p V not q. These equivalences are known as De Morgan's laws, after the nineteenth-century logician Augustus De Morgan