Was meinst Du mit "auflösen"? Vereinfachen oder umstellen nach einer
anderen Variable? (Das ist hier eigentlich schon zu sehen, aber
"auflösen" ist ein Verb, das Subjekt und Objekt erfordert).
Wenn Du die Regeln der boolschen Algebra kennst, ist es doch ganz
einfach:
a) Gehe die Regeln eine nach der anderen durch.
b) Prüfe ob die Regel auf den Term oder einen der Teilterme anwendbar
ist. Wenn ja, wende sie an.
c) Und für diesen besonderen Fall: Prüfe, ob der Vorrang durch
Klammerung ein anderer ist als er für den jeweiligen Operator ohnehin
festgelegt ist.
d) Insofern entweder eine Vereinfachung oder eine Umstellung nach einer
gewissen Variable gefordert ist, strebe bei den Anwendungen der Regel,
wie in der Algebra im Körper der Zahlen, danach.
e) Eine Vereinfachung von Termen ist, auch wenn letztlich eine
Umstellung gefordert ist, fast immer zu empfehlen. Insbesondere wenn,
wie hier, dabei eine sehr simple Lösung herauskommt.
y = (a + b) * (~a * c) * (~b * ~c)