1.(10%) Given Boolean variables p, q, and r where -p is the complement of p, A is logical AND, v is logical OR, → is logical imply, and is equivalence, prove that the following formula is true.