Hallo Atorian,
Wenn dort steht
Das Licht soll an sein wenn entweder nur z an ist oder y und z an sind, ...
dann kann man den Zustand "Licht an" mit \(l\) bezeichnen und "Licht aus" mit \(\bar l\) oder \(l'\). Was man da für Zeichen für die Operatoren benutzt ist eine Sache der Vereinbarung.
Für den Operator 'UND' kann man \(\cdot\) oder \(\land\) benutzen
Für den Operator 'ODER' kann man \(+\) oder \(\lor\) verwenden
Und für das 'NICHT' bzw, die Negation das \('\) oder \(\bar {\phantom z} \)
Benutzen wir die Symbole, die anscheinend Dein Professor angegeben hat, so ist
"Licht an, wenn nur \(z\)": \(l = x' \cdot y' \cdot z = x'y'z\) und
"Licht an, wenn entweder nur \(z\) an ist oder (nur) \(y\) und \(z\) an": \(l = x' \cdot y' \cdot z + x' \cdot y \cdot z = x'y'z + x'yz\)
Und alles zusammen sähe dann eben so aus: $$l = x'y'z + x'yz + xy'z + xyz' + xyz$$wenn Du das vereinfachen möchtest, musst Du die Rechenregeln der Boolschen Algebra kennen. Hier kommt das Distributivgesetz zum Tragen - bzw. man kann auch sagen: wir klammern was aus. Ausklammern solltest Du einen Ausdruck, der möglichst häufig vorkommt. Und das ist hier das \(z\). Ich habe das hier mal gelb markiert:
$$\begin{aligned} l &= x'y' \colorbox{#ffff00}{z} + x'y \colorbox{#ffff00}{z} + xy' \colorbox{#ffff00}{z} + xyz' + xy \colorbox{#ffff00}{z} \\ &= (x'y' + x'y + xy' + xy) \colorbox{#ffff00}{z}+ xyz' \end{aligned}$$
Im nächsten Schritt beschäftige ich mich nur mit dem Ausdruck \(x'y' + x'y\). Hier kommt das \(x'\) zweimal vor. Ich klammere wieder aus $$x'y' + x'y = x'(y'+ y)$$
und hinter dem \(x'\) steht nun \(y+y'\), was ja \(y\) ODER NICHT \(y\) bedeutet. Und das ist immer WAHR, egal welchen Wert das \(y\) annimmt (Komplementärgesetze). Also ist: $$x'y' + x'y = x'(y' + y) = x'\cdot 1 = x'$$
Das gleiche kann man mit den nächsten beiden Termen machen ...
$$\begin{aligned} l &= x'y'z + x'yz + xy'z + xyz' + xyz \\ &= (x'y' + x'y + xy' + xy) z + xyz' \\ &= (x'(y'+y) + x(y'+y))z + xyz' \\&= (x' + x)z + xyz' \\&= z + xyz' \end{aligned}$$
An dieser Stelle fällt mir kein Gesetz ein, was man unmittelbar anwenden kann. Jedoch kann man sich an Hand einer Wertetabelle überlegen, dass immer $$a + ba' = a+ b$$ gilt. Lege Dir selber mal eine Wertetabelle an, um das zu überprüfen.
Und dann ist der Rest einfach $$ \begin{aligned} l &= z + xyz' \\ &= z + xy \end{aligned} $$
Falls noch Fragen übrig bleiben, so melde Dich bitte. Wegen der Schreibweise siehe auch hier.