e e dee te klwin l pivkPe ll e e ay l &r d yeet a$)$ and art lekwThie e FULUN, ht e CaNCISEEYe jilde, in thk li

Prove or disprove the following logical equivalence:

AAx$(R(x)$EEy$(S(x,y)o+T(x,y)))-=$EEyAAx$(R(x)(S(x,y)o+T(x,y)))$

For full credit, one answer is required for each one of part a$)$ and part b$)$ below.

a$)$ Delete one of the options below:

In the box below, $1$ will PROVE this lagical equivalence.

In the box below, I will DISPROVE this logical equivalence.

b$)$ Prove your answer FULLY, but as CONCISELY as pasible, in this box.