Lösung für Aufgabe 3.1.17
Bestimmen Sie die disjunktive Normalform der Implikation $a\Rightarrow b$ und vereinfachen Sie diese zur konjunktiven Normalform $\neg a\vee b$. Begründen Sie jeden Umformungsschritt (mit einer der Rechenregeln aus Theorem 3.1.10).\begin{align*} f(a,b)=&(\neg a \wedge \neg b) \vee (\neg a \wedge b) \vee (a \wedge b)= (\neg a \wedge (\neg b \vee b)) \vee (a \wedge b)\\ &= (\neg a \wedge 1) \vee(a \wedge b))=(\neg a \vee a) \wedge (\neg a \vee b) = \neg a \vee b \end{align*}