2)Convert the following formula in Cmath to an equivalent formula in C(for variable symbols x,y,a

2)Convert the following formula in Cmath to an equivalent formula in C(for variable symbols x,y,aunary predicate symbol P and a binary predicate symbol Q):(Ex)(Px)A(Qxy))→(Px)V(Qxy)