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>
|}
|}