Vielleicht so?
In der Wahrheitstabelle also nur die Bit Werte für a und c betrachten (da b in jedem Term = 1 sein muss), damit S für den Multiplexer bestimmen.
(¬a∧b∧¬c) = 00, a = 0, c = 0
(a∧b∧¬c) = 10, a = 1, c = 0
(a∧b∧c) = 11, a = 1, c = 1
Und für den I_1 Eingang des Multiplexers 0 als Konstante.