330

\begin{array}{l|l} A&B&A\vee\neg B&A\Rightarrow B&B\Rightarrow A&A\wedge\neg B\\ \hline 1&1&1&1&1&0\\ 1&0&1&0&1&1\\ 0&1&0&1&0&0\\ 0&0&1&1&1&0 \end{array}

a ja c -kohtien lauseet ovat loogisesti ekvivalentteja