Line 382: |
Line 382: |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f0f0ff; font-weight:bold; text-align:center; width:90%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f0f0ff; font-weight:bold; text-align:center; width:90%" |
| |+ <math>\text{Table 1.}~~\text{Logical Boundaries and Their Complements}</math> | | |+ <math>\text{Table 1.}~~\text{Logical Boundaries and Their Complements}</math> |
− | | width="20%" | <math>\mathcal{L}_1</math> | + | | width="25%" | <math>\mathcal{L}_1</math> |
− | | width="20%" | <math>\mathcal{L}_2</math> | + | | width="25%" | <math>\mathcal{L}_2</math> |
− | | width="20%" | <math>\mathcal{L}_3</math> | + | | width="25%" | <math>\mathcal{L}_3</math> |
− | | width="20%" | <math>\mathcal{L}_4</math> | + | | width="25%" | <math>\mathcal{L}_4</math> |
| |- | | |- |
| | | | | |
Line 404: |
Line 404: |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%" |
| |- | | |- |
− | | width="20%" | <math>f_{104}\!</math> | + | | width="25%" | <math>f_{104}\!</math> |
− | | width="20%" | <math>f_{01101000}\!</math> | + | | width="25%" | <math>f_{01101000}\!</math> |
− | | width="20%" | 0 1 1 0 1 0 0 0 | + | | width="25%" | 0 1 1 0 1 0 0 0 |
− | | width="20%" | <math>( p , q , r )\!</math> | + | | width="25%" | <math>( p , q , r )\!</math> |
| |- | | |- |
| | <math>f_{148}\!</math> | | | <math>f_{148}\!</math> |
Line 446: |
Line 446: |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%" |
| |- | | |- |
− | | width="20%" | <math>f_{233}\!</math> | + | | width="25%" | <math>f_{233}\!</math> |
− | | width="20%" | <math>f_{11101001}\!</math> | + | | width="25%" | <math>f_{11101001}\!</math> |
− | | width="20%" | 1 1 1 0 1 0 0 1 | + | | width="25%" | 1 1 1 0 1 0 0 1 |
− | | width="20%" | <math>(((p), (q), (r)))\!</math> | + | | width="25%" | <math>(((p), (q), (r)))\!</math> |
| |- | | |- |
| | <math>f_{214}\!</math> | | | <math>f_{214}\!</math> |
Line 490: |
Line 490: |
| | | |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" |
− | |+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math> | + | |+ <math>\text{Table 1.}~~\text{Logical Boundaries and Their Complements}</math> |
| |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
− | | width="15%" | <math>\mathcal{L}_1</math> | + | | width="25%" | <math>\mathcal{L}_1</math> |
− | | width="15%" | <math>\mathcal{L}_2</math> | + | | width="25%" | <math>\mathcal{L}_2</math> |
− | | width="15%" | <math>\mathcal{L}_3</math> | + | | width="25%" | <math>\mathcal{L}_3</math> |
− | | width="15%" | <math>\mathcal{L}_4</math> | + | | width="25%" | <math>\mathcal{L}_4</math> |
| |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
| | | | | |
Line 568: |
Line 568: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | (~) | + | ( p , q , r ) |
| \\[4pt] | | \\[4pt] |
− | (p)(q) | + | ( p , q , (r)) |
| \\[4pt] | | \\[4pt] |
− | (p)~q~ | + | ( p , (q), r ) |
| \\[4pt] | | \\[4pt] |
− | (p)~~~ | + | ( p , (q), (r)) |
| \\[4pt] | | \\[4pt] |
− | ~p~(q)
| + | ((p), q , r ) |
| \\[4pt] | | \\[4pt] |
− | ~~~(q)
| + | ((p), q , (r)) |
| \\[4pt] | | \\[4pt] |
− | (p,~q) | + | ((p), (q), r ) |
| \\[4pt] | | \\[4pt] |
− | (p~~q) | + | ((p), (q), (r)) |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 641: |
Line 641: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | ~~p~~q~~
| + | (((p), (q), (r))) |
| \\[4pt] | | \\[4pt] |
− | ((p,~q)) | + | (((p), (q), r )) |
| \\[4pt] | | \\[4pt] |
− | ~~~~~q~~
| + | (((p), q , (r))) |
| \\[4pt] | | \\[4pt] |
− | ~(p~(q))
| + | (((p), q , r )) |
| \\[4pt] | | \\[4pt] |
− | ~~p~~~~~
| + | (( p , (q), (r))) |
| \\[4pt] | | \\[4pt] |
− | ((p)~q)~ | + | (( p , (q), r )) |
| \\[4pt] | | \\[4pt] |
− | ((p)(q)) | + | (( p , q , (r))) |
| \\[4pt] | | \\[4pt] |
− | ((~)) | + | (( p , q , r )) |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |