Tehtävä 13 · 2013 · kevät

Konnektiivin $\square$ totuustaulu on $$\begin{array}{|c|c|c|}\hline A & B & A\mathbin{\square}B\\\hline 1 & 1 & 0\\\hline 1 & 0 & 1\\\hline 0 & 1 & 0\\\hline 0 & 0 & 0\\\hline\end{array}$$ a) Muodosta lauseen $A\mathbin{\square}(A\mathbin{\square}B)$ totuustaulu. b) Esitä lause $A\mathbin{\square}(A\mathbin{\square}B)$ sellaisessa muodossa, jossa esiintyy ainoastaan konnektiiveja $\neg$, $\vee$ tai $\wedge$.