Please make the writing clear

Problem 14 (NOT (VX)E)) = (EX)(NOT E)) (NOT ((EX)E) = ((VX)(NOT E)) We can use the two tautologies above to move NOT's inside quantifiers as well as to move them outside. Using these laws, plus De Morgan's laws, we can move all NOT's so they apply directly to atomic formulas. Apply this transformation to the following expressions. 1. NOT (EX)BY)p(X,Y)) 2. NOT (EX)p(X) OR (EY)q(X,Y)))