Line 3: |
Line 3: |
| ==Truth Tables== | | ==Truth Tables== |
| | | |
− | ===Version 3?=== | + | ===Version 3=== |
| | | |
| <br> | | <br> |
Line 86: |
Line 86: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | \texttt{( p , q , r )} | + | \texttt{(~p~,~q~,~r~)} |
| \\[4pt] | | \\[4pt] |
− | \texttt{( p , q , (r))} | + | \texttt{(~p~,~q~,(r))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{( p , (q), r )} | + | \texttt{(~p~,(q),~r~)} |
| \\[4pt] | | \\[4pt] |
− | \texttt{( p , (q), (r))} | + | \texttt{(~p~,(q),(r))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{((p), q , r )} | + | \texttt{((p),~q~,~r~)} |
| \\[4pt] | | \\[4pt] |
− | \texttt{((p), q , (r))} | + | \texttt{((p),~q~,(r))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{((p), (q), r )} | + | \texttt{((p),(q),~r~)} |
| \\[4pt] | | \\[4pt] |
− | \texttt{((p), (q), (r))} | + | \texttt{((p),(q),(r))} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 159: |
Line 159: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | \texttt{(((p), (q), (r)))} | + | \texttt{(((p),(q),(r)))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(((p), (q), r ))} | + | \texttt{(((p),(q),~r~))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(((p), q , (r)))} | + | \texttt{(((p),~q~,(r)))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(((p), q , r ))} | + | \texttt{(((p),~q~,~r~))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(( p , (q), (r)))} | + | \texttt{((~p~,(q),(r)))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(( p , (q), r ))} | + | \texttt{((~p~,(q),~r~))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(( p , q , (r)))} | + | \texttt{((~p~,~q~,(r)))} |
| \\[4pt] | | \\[4pt] |
− | \texttt{(( p , q , r ))} | + | \texttt{((~p~,~q~,~r~))} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |