Hallo,
das kannst du ganz einfach überprüfen, indem du die 4 Fälle (00,01,10,11) einfach durchgehst und schaust was mit deiner Verknüpfung dann am Ausgang heraus kommt. Für die Eingabe x=1 y=0 bekommst du am Ausgang eine 0, S10 ist jedoch ein Endzustand -> leider klappt deine Idee nicht.
Es ist nirgendwo verlangt, dass du mit möglichst wenig Gattern auskommen musst, wenn du es dir ganz einfach machen willst, kannst du aus der Schalttabelle auch einfach die DNF auslesen und diese dann hinter den Flip-Flops realisieren.
Gruß