Changes

|- style="background:ghostwhite"

|- style="background:ghostwhite"

| <math>~</math>

| <math>~</math>

| align="right" | <math>x :\!</math>

| align="right" | <math>x\colon\!</math>

| <math>1~0</math>

| <math>1~0</math>

| <math>~</math>

| <math>~</math>

Propositional forms on two variables correspond to boolean functions ''f''&nbsp;:&nbsp;'''B'''²&nbsp;&rarr;&nbsp;'''B'''.  In Table 7 each function ''f''_''i'' is indexed by the values that it takes on the points of the universe ''X''^&nbsp;&bull;&nbsp;=&nbsp;[''x'',&nbsp;''y'']&nbsp;<math>\cong</math>&nbsp;'''B'''².  Converting the binary index thus generated to a decimal equivalent, we obtain the functional nicknames that are listed in the first column.  The 2² points of the universe ''X''^&nbsp;&bull; are coordinated as a space of type '''B'''², as indicated under the heading of the Table, where the coordinate projections ''x'' and ''y'' run through the various combinations of their values in '''B'''.

Propositional forms on two variables correspond to boolean functions ''f''&nbsp;:&nbsp;'''B'''²&nbsp;&rarr;&nbsp;'''B'''.  In Table 7 each function ''f''_''i'' is indexed by the values that it takes on the points of the universe ''X''^&nbsp;&bull;&nbsp;=&nbsp;[''x'',&nbsp;''y'']&nbsp;<math>\cong</math>&nbsp;'''B'''².  Converting the binary index thus generated to a decimal equivalent, we obtain the functional nicknames that are listed in the first column.  The 2² points of the universe ''X''^&nbsp;&bull; are coordinated as a space of type '''B'''², as indicated under the heading of the Table, where the coordinate projections ''x'' and ''y'' run through the various combinations of their values in '''B'''.

{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"

|+ '''Table 7.  Propositional Forms on Two Variables'''

|+ '''Table 7.  Propositional Forms on Two Variables'''

|- style="background:ghostwhite"

|- style="background:ghostwhite"

! style="width:16%" | L₁<br>Decimal

| style="width:16%" |

! style="width:16%" | L₂<br>Binary

<math>\begin{matrix}\mathcal{L}_1 \\ \mbox{Decimal}\end{matrix}</math>

! style="width:16%" | L₃<br>Vector

| style="width:16%" |

! style="width:16%" | L₄<br>Cactus

<math>\begin{matrix}\mathcal{L}_2 \\ \mbox{Binary}\end{matrix}</math>

! style="width:16%" | L₅<br>English

| style="width:16%" |  

! style="width:16%" | L₆<br>Ordinary

<math>\begin{matrix}\mathcal{L}_3 \\ \mbox{Vector}\end{matrix}</math>

| style="width:16%" |

<math>\begin{matrix}\mathcal{L}_4 \\ \mbox{Cactus}\end{matrix}</math>

| style="width:16%" |

<math>\begin{matrix}\mathcal{L}_5 \\ \mbox{English}\end{matrix}</math>

| style="width:16%" |

<math>\begin{matrix}\mathcal{L}_6 \\ \mbox{Ordinary}\end{matrix}</math>

|- style="background:ghostwhite"

|- style="background:ghostwhite"

| &nbsp;

| <math>~</math>

| align="right" | x :

| align="right" | <math>x\colon\!</math>

| 1 1 0 0  

| <math>1~1~0~0</math>

| &nbsp;

| <math>~</math>

| &nbsp;

| <math>~</math>

| &nbsp;

| <math>~</math>

|- style="background:ghostwhite"

|- style="background:ghostwhite"

| &nbsp;

| <math>~</math>

| align="right" | y :

| align="right" | <math>y\colon\!</math>

| 1 0 1 0

| <math>1~0~1~0</math>

| &nbsp;

| <math>~</math>

| &nbsp;

| <math>~</math>

| &nbsp;

| <math>~</math>

|-

|-

| f₀ || f₀₀₀₀ || 0 0 0 0 || (&nbsp;) || false || 0

| f₀ || f₀₀₀₀ || 0 0 0 0 || (&nbsp;) || false || 0