HQ2. [Page limit 2 pages] Given two DFAs M1=<Q1,,, > and  M2=<Q2,,, > where Q1 and Q2 are disjoint, (a) construct a DFA M whose language consists of strings which are either in L(M1) or in L(M2) but not both. Of course, you need to prove that your DFA is correct.  (b) State precisely what you need to prove and then prove that.