Moin,
ich bin zwar kein Informatik-Student (mehr), aber ich antworte trotzdem mal.
Vereinfachen kannst du die logische Ausdrücke, indem du die konjunktive und disjunktive Normalform ermittelst, doch diese Formen liefern nicht unbedingt den am weitest vereinfachten Ausdruck.
Aber das
Karnaugh-Diagramm könnte dich interessieren und das
Verfahren nach Quine und McCluskey ebenfalls.