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.
Table A1. Propositional Forms on Two Variables ![]()
![]()
![]()
![]()
![]()
![]()
![]()
1 1 0 0 ![]()
1 0 1 0 ![]()
![]()
0 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 ![]()
![]()
![]()
![]()
![]()
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 ![]()
![]()
![]()
Table A2 lists the sixteen Boolean functions of two variables in a different order, grouping them by structural similarity into seven natural classes.
Table A2. Propositional Forms on Two Variables ![]()
![]()
![]()
![]()
![]()
![]()
![]()
1 1 0 0 ![]()
1 0 1 0 ![]()
![]()
0 0 0 0 ![]()
![]()
0 ![]()
![]()
0 0 0 1 ![]()
![]()
![]()
![]()
![]()
0 0 1 0 ![]()
![]()
![]()
![]()
![]()
0 1 0 0 ![]()
![]()
![]()
![]()
![]()
1 0 0 0 ![]()
![]()
![]()
![]()
![]()
0 0 1 1 ![]()
![]()
![]()
![]()
![]()
1 1 0 0 ![]()
![]()
![]()
![]()
![]()
0 1 1 0 ![]()
![]()
![]()
![]()
![]()
1 0 0 1 ![]()
![]()
![]()
![]()
![]()
0 1 0 1 ![]()
![]()
![]()
![]()
![]()
1 0 1 0 ![]()
![]()
![]()
![]()
![]()
0 1 1 1 ![]()
![]()
![]()
![]()
![]()
1 0 1 1 ![]()
![]()
![]()
![]()
![]()
1 1 0 1 ![]()
![]()
![]()
![]()
![]()
1 1 1 0 ![]()
![]()
![]()
![]()
![]()
1 1 1 1 ![]()
![]()
![]()
Table A3. Expanded Over Differential Features
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
Fixed Point Total: 4 4 4 16
Table A4. Expanded Over Differential Features
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
Table A5. Expanded Over Ordinary Features
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
Table A6. Expanded Over Ordinary Features
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
As of this snapshot date, this entry was owned by Jon Awbrey.