12,080
edits
Changes
→Work Area
{| 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>
|-
|-
|
|
{| 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>
{| 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>
{| 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"
|
|
|
|
<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 , r )
\\[4pt]
\\[4pt]
((p), q , (r))
\\[4pt]
\\[4pt]
(p,~q)
((p), (q), r )
\\[4pt]
\\[4pt]
(p~~q)
((p), (q), (r))
\end{matrix}</math>
\end{matrix}</math>
|-
|-
|
|
<math>\begin{matrix}
<math>\begin{matrix}
(((p), (q), (r)))
\\[4pt]
\\[4pt]
((p,~q))
(((p), (q), r ))
\\[4pt]
\\[4pt]
(((p), q , (r)))
\\[4pt]
\\[4pt]
(((p), q , r ))
\\[4pt]
\\[4pt]
(( 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>
|}
|}