Note. The following Tables are best viewed in the Page Image mode.
Table A1 lists equivalent expressions for the boolean functions of two variables in a number of different notational systems.
\begin{tabular}{|c|c|c|c|c|c|c|}
\multicolumn{7}{Table A1. Propositional Forms on Two Variables } \\
\hline
&
&&
&
&
&
\\
\hline
& &
& 1 1 0 0 & & & \\
& &
& 1 0 1 0 & & & \\
\hline
&
&&
0 0 0 0 &
&
&
\\
&
&&
0 0 0 1 &
&
&
\\
&
&&
0 0 1 0 &
&
&
\\
&
&&
0 0 1 1 &
&
&
\\
&
&&
0 1 0 0 &
&
&
\\
&
&&
0 1 0 1 &
&
&
\\
&
&&
0 1 1 0 &
&
&
\\
&
&&
0 1 1 1 &
&
&
\\
\hline
&
&&
1 0 0 0 &
&
&
\\
&
&&
1 0 0 1 &
&
&
\\
&
&&
1 0 1 0 &
&
&
\\
&
&&
1 0 1 1 &
&
&
\\
&
&&
1 1 0 0 &
&
&
\\
&
&&
1 1 0 1 &
&
&
\\
&
&&
1 1 1 0 &
&
&
\\
&
&&
1 1 1 1 &
&
&
\\
\hline
\end{tabular}
Table A2 lists the sixteen Boolean functions of two variables in a different order, grouping them by structural similarity into seven natural classes.
\begin{tabular}{|c|c|c|c|c|c|c|}
\multicolumn{7}{Table A2. Propositional Forms on Two Variables } \\
\hline
&
&&
&
&
&
\\
\hline
& &
& 1 1 0 0 & & & \\
& &
& 1 0 1 0 & & & \\
\hline
&
&&
0 0 0 0 &
&
&
\\
\hline
&
&&
0 0 0 1 &
&
&
\\
&
&&
0 0 1 0 &
&
&
\\
&
&&
0 1 0 0 &
&
&
\\
&
&&
1 0 0 0 &
&
&
\\
\hline
&
&&
0 0 1 1 &
&
&
\\
&
&&
1 1 0 0 &
&
&
\\
\hline
&
&&
0 1 1 0 &
&
&
\\
&
&&
1 0 0 1 &
&
&
\\
\hline
&
&&
0 1 0 1 &
&
&
\\
&
&&
1 0 1 0 &
&
&
\\
\hline
&
&&
0 1 1 1 &
&
&
\\
&
&&
1 0 1 1 &
&
&
\\
&
&&
1 1 0 1 &
&
&
\\
&
&&
1 1 1 0 &
&
&
\\
\hline
&
&&
1 1 1 1 &
&
&
\\
\hline
\end{tabular}
Table A3.
Expanded Over Differential Features ![{\displaystyle \{\operatorname {d} x,\operatorname {d} y\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d03bf991a24978a98b6ef3384fda6c4866c8731)
[edit | edit source]
\begin{tabular}{|c|c||c|c|c|c|}
\multicolumn{6}{Table A3.
Expanded Over Differential Features
\\
\hline
& &
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
\multicolumn{2}{|c||}{Fixed Point Total:} & 4 & 4 & 4 & 16 \\
\hline
\end{tabular}
Table A4.
Expanded Over Differential Features ![{\displaystyle \{\operatorname {d} x,\operatorname {d} y\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d03bf991a24978a98b6ef3384fda6c4866c8731)
[edit | edit source]
\begin{tabular}{|c|c||c|c|c|c|}
\multicolumn{6}{Table A4.
Expanded Over Differential Features
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
\end{tabular}
Table A5.
Expanded Over Ordinary Features ![{\displaystyle \{x,y\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2611cdc8fecaffa28cb0ea888dbba55f3a31077)
[edit | edit source]
\begin{tabular}{|c|c||c|c|c|c|}
\multicolumn{6}{Table A5.
Expanded Over Ordinary Features
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
\end{tabular}
Table A6.
Expanded Over Ordinary Features ![{\displaystyle \{x,y\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2611cdc8fecaffa28cb0ea888dbba55f3a31077)
[edit | edit source]
\begin{tabular}{|c|c||c|c|c|c|}
\multicolumn{6}{Table A6.
Expanded Over Ordinary Features
} \\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
&
&
&
&
&
\\
\hline
&
&
&
&
&
\\
\hline
\end{tabular}