Lösung für Aufgabe 3.1.8
Überprüfen Sie die drei Gleichungen aus Aufgabe 3.1.5 erneut, indem Sie die Normalformen der rechten und linken Seiten vergleichen.Überprüfung durch konjunktive Normalform: 1. $f_l(a)=1$, da alle beiden Zeilen gestrichen werden und damit das leere UND übrig bleibt, das $1$ ergibt. $f_r(a)=1$ 2. \begin{align*} f_l(a,b,c)=&(a \vee b \vee c) \wedge (\neg a \vee \neg b \vee \neg c) \wedge (a \vee \neg b \vee c)\\ &{}\wedge (\neg a \vee b \vee c)\wedge (a \vee b \vee \neg c) \wedge (\neg a \vee \neg b \vee c) \wedge (\neg a \vee b \vee \neg c)\\ f_r(a,b,c)=&(a \vee b \vee c) \wedge (a \vee \neg b \vee c) \wedge (a \vee b \vee \neg c) \end{align*} 3. $f_l(a,b,c,v)=1$, da alle Zeilen gestrichen werden und damit das leere UND übrig bleibt, das $1$ ergibt. $f_r(a,b,c,v)=1$