You must be cognizant of the fact that those in this forum have not taken the course you are taking, or are familiar with your study material and nomenclature. We do know how to simplify terms using Boolean algebra or Karnaugh maps. I, for one, do not know what you mean by grouping by ones or zeros. Perhaps you can give an example. You have not answered the question I asked about the summation symbol.
I think it should be a 6 variable equation using quine?
It's really long. Just be patient. The link of Ratch is good. I downloaded the program too. I might need it for minimizations or maybe for drawing logic gates for presentation purposes.