Ich würde dir bei der Aufgabe empfehlen nur eine Wertetabelle zu erstellen. (Daraus lässt sich zwar relativ einfach dann die KNF oder DNF generieren, sehe ich aber absolut nicht als notwendig!)
usw. Die Lösungen für a und b dann über das Schaltwerk ermitteln und den zugehörigen Automaten generieren. Hoffe ich konnte helfen :)