337

\begin{array}{l|l} A&B&\neg\left(\neg A\wedge\neg B\right)&\neg\left(\neg A\vee\neg B\right)&A\wedge B\\ \hline 1&1&1&1&1\\ 1&0&1&0&0\\ 0&1&1&0&0\\ 0&0&0&0&0 \end{array}

jälkimmäinen lause on ekvivalentti