Aufgaben zum Thema Aussagenlogik

In dieser Aufgabe beweist du das erste Gesetz von De Morgan mithilfe einer Wahrheitstafel:

$\def\arraystretch{1.25} \begin{array}{cc|cc|c|c|c}A&B&\neg A & \neg B & \neg A\lor\neg B & A\land B & \neg(A \land B)\\\hline 0 & 0 & 1 & 1 & 1 & 0 & 1\\ 0 & 1 & 1 & 0 & 1 & 0 & 1\\ 1 & 0 & 0 & 1 & 1 & 0 & 1\\ 1 & 1 & 0 & 0 & 0 & 1 & 0\end{array}$

Die Wahrheitswerte unter den Aussagen $\neg A \lor \neg B$ und $\neg (A \land B)$ sind dieselben. Damit sind die Aussagen äquivalent.