So i have the following question and template answer:
[![enter image description here][1]][1]


  [1]: https://i.sstatic.net/LJtrQ.png


My answer was exactly the same except that instead of the (∃d)(∃t)(...) section I said (∃d)(DEPARTMENT(d) AND e.Ssn = d.Mgrssn) AND (∃t)(DEPENDANT(t) AND t.Essn = e.Ssn).

My question is basically are these equivalent?