MyWikiBiz

Changes

User:Jon Awbrey/TABLE (view source)

Revision as of 16:42, 30 May 2009

968 bytes removed ,  16:42, 30 May 2009
→‎Work Area: working …
Line 1,989: Line 1,989:     
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
−
|+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math>
+
|+ <math>\text{Table A3.}~~\operatorname{E}f ~\text{Expanded Over Differential Features}~ \{ \operatorname{d}x, \operatorname{d}y \}</math>
 
|- style="background:#f0f0ff"
 
|- style="background:#f0f0ff"
−
| style="width:15%" |
+
| width:"5%" | &nbsp;
−
<p><math>\mathcal{L}_1</math></p>
+
| width:"10%" | <math>f\!</math>
−
<p><math>\text{Decimal}</math></p>
+
| width:"20%" |  
−
| style="width:15%" |
+
<p><math>\operatorname{T}_{11} f</math></p>
−
<p><math>\mathcal{L}_2</math></p>
+
<p><math>\operatorname{E}f|_{\operatorname{d}x~\operatorname{d}y}</math></p>
−
<p><math>\text{Binary}</math></p>
+
| width:"20%" |
−
| style="width:15%" |  
+
<p><math>\operatorname{T}_{10} f</math></p>
−
<p><math>\mathcal{L}_3</math></p>
+
<p><math>\operatorname{E}f|_{\operatorname{d}x(\operatorname{d}y)}</math></p>
−
<p><math>\text{Vector}</math></p>
+
| width:"20%" |
−
| style="width:15%" |
+
<p><math>\operatorname{T}_{01} f</math></p>
−
<p><math>\mathcal{L}_4</math></p>
+
<p><math>\operatorname{E}f|_{(\operatorname{d}x)\operatorname{d}y}</math></p>
−
<p><math>\text{Cactus}</math></p>
+
| width:"20%" |
−
| style="width:25%" |
+
<p><math>\operatorname{T}_{00} f</math></p>
−
<p><math>\mathcal{L}_5</math></p>
+
<p><math>\operatorname{E}f|_{(\operatorname{d}x)(\operatorname{d}y)}</math></p>
−
<p><math>\text{English}</math></p>
  −
| style="width:15%" |
  −
<p><math>\mathcal{L}_6</math></p>
  −
<p><math>\text{Ordinary}</math></p>
  −
|- style="background:#f0f0ff"
  −
| &nbsp;
  −
| align="right" | <math>x\colon\!</math>
  −
| <math>1~1~0~0\!</math>
  −
| &nbsp;
  −
| &nbsp;
  −
| &nbsp;
  −
|- style="background:#f0f0ff"
  −
| &nbsp;
  −
| align="right" | <math>y\colon\!</math>
  −
| <math>1~0~1~0\!</math>
  −
| &nbsp;
  −
| &nbsp;
  −
| &nbsp;
   
|-
 
|-
 
| <math>f_0\!</math>
 
| <math>f_0\!</math>
−
| <math>f_{0000}\!</math>
  −
| <math>0~0~0~0</math>
   
| <math>(~)</math>
 
| <math>(~)</math>
−
| <math>\text{false}\!</math>
+
| <math>(~)</math>
−
| <math>0\!</math>
+
| <math>(~)</math>
 +
| <math>(~)</math>
 +
| <math>(~)</math>
 
|-
 
|-
 
|
 
|
Line 2,043: Line 2,025:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
f_{0001}
+
(x)(y)
 
\\[4pt]
 
\\[4pt]
−
f_{0010}
+
(x)~y~
 
\\[4pt]
 
\\[4pt]
−
f_{0100}
+
~x~(y)
 
\\[4pt]
 
\\[4pt]
−
f_{1000}
+
~x~~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
0~0~0~1
+
(x)(y)
 
\\[4pt]
 
\\[4pt]
−
0~0~1~0
+
(x)~y~
 
\\[4pt]
 
\\[4pt]
−
0~1~0~0
+
~x~(y)
 
\\[4pt]
 
\\[4pt]
−
1~0~0~0
+
~x~~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
Line 2,073: Line 2,055:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\text{neither}~ x ~\text{nor}~ y
+
(x)(y)
 
\\[4pt]
 
\\[4pt]
−
y ~\text{without}~ x
+
(x)~y~
 
\\[4pt]
 
\\[4pt]
−
x ~\text{without}~ y
+
~x~(y)
 
\\[4pt]
 
\\[4pt]
−
x ~\text{and}~ y
+
~x~~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\lnot x \land \lnot y
+
(x)(y)
 
\\[4pt]
 
\\[4pt]
−
\lnot x \land y
+
(x)~y~
 
\\[4pt]
 
\\[4pt]
−
x \land \lnot y
+
~x~(y)
 
\\[4pt]
 
\\[4pt]
−
x \land y
+
~x~~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
Line 2,100: Line 2,082:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
f_{0011}
+
(x)
 
\\[4pt]
 
\\[4pt]
−
f_{1100}
+
~x~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
0~0~1~1
+
(x)
 
\\[4pt]
 
\\[4pt]
−
1~1~0~0
+
~x~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
Line 2,118: Line 2,100:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\text{not}~ x
+
(x)
 
\\[4pt]
 
\\[4pt]
−
x
+
~x~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\lnot x
+
(x)
 
\\[4pt]
 
\\[4pt]
−
x
+
~x~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
Line 2,137: Line 2,119:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
f_{0110}
+
~(x,~y)~
 
\\[4pt]
 
\\[4pt]
−
f_{1001}
+
((x,~y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
0~1~1~0
+
~(x,~y)~
 
\\[4pt]
 
\\[4pt]
−
1~0~0~1
+
((x,~y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
Line 2,155: Line 2,137:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
x ~\text{not equal to}~ y
+
~(x,~y)~
 
\\[4pt]
 
\\[4pt]
−
x ~\text{equal to}~ y
+
((x,~y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
x \ne y
+
~(x,~y)~
 
\\[4pt]
 
\\[4pt]
−
x = y
+
((x,~y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
Line 2,174: Line 2,156:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
f_{0101}
+
(y)
 
\\[4pt]
 
\\[4pt]
−
f_{1010}
+
~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
0~1~0~1
+
(y)
 
\\[4pt]
 
\\[4pt]
−
1~0~1~0
+
~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
Line 2,192: Line 2,174:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\text{not}~ y
+
(y)
 
\\[4pt]
 
\\[4pt]
−
y
+
~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\lnot y
+
(y)
 
\\[4pt]
 
\\[4pt]
−
y
+
~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
Line 2,215: Line 2,197:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
f_{0111}
+
~(x~~y)~
 
\\[4pt]
 
\\[4pt]
−
f_{1011}
+
~(x~(y))
 
\\[4pt]
 
\\[4pt]
−
f_{1101}
+
((x)~y)~
 
\\[4pt]
 
\\[4pt]
−
f_{1110}
+
((x)(y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
0~1~1~1
+
~(x~~y)~
 
\\[4pt]
 
\\[4pt]
−
1~0~1~1
+
~(x~(y))
 
\\[4pt]
 
\\[4pt]
−
1~1~0~1
+
((x)~y)~
 
\\[4pt]
 
\\[4pt]
−
1~1~1~0
+
((x)(y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
Line 2,245: Line 2,227:  
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\text{not both}~ x ~\text{and}~ y
+
~(x~~y)~
 
\\[4pt]
 
\\[4pt]
−
\text{not}~ x ~\text{without}~ y
+
~(x~(y))
 
\\[4pt]
 
\\[4pt]
−
\text{not}~ y ~\text{without}~ x
+
((x)~y)~
 
\\[4pt]
 
\\[4pt]
−
x ~\text{or}~ y
+
((x)(y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
−
\lnot x \lor \lnot y
+
~(x~~y)~
 
\\[4pt]
 
\\[4pt]
−
x \Rightarrow y
+
~(x~(y))
 
\\[4pt]
 
\\[4pt]
−
x \Leftarrow y
+
((x)~y)~
 
\\[4pt]
 
\\[4pt]
−
x \lor y
+
((x)(y))
 
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
 
| <math>f_{15}\!</math>
 
| <math>f_{15}\!</math>
−
| <math>f_{1111}\!</math>
  −
| <math>1~1~1~1</math>
   
| <math>((~))</math>
 
| <math>((~))</math>
−
| <math>\text{true}\!</math>
+
| <math>((~))</math>
−
| <math>1\!</math>
+
| <math>((~))</math>
 +
| <math>((~))</math>
 +
| <math>((~))</math>
 
|}
 
|}
   Line 2,275: Line 2,257:     
<pre>
 
<pre>
−
Table A3.  Ef Expanded Over Differential Features {dx, dy}
  −
o------o------------o------------o------------o------------o------------o
  −
|      |            |            |            |            |            |
  −
|      |    f      |  T_11 f  |  T_10 f  |  T_01 f  |  T_00 f  |
  −
|      |            |            |            |            |            |
  −
|      |            | Ef| dx dy  | Ef| dx(dy) | Ef| (dx)dy | Ef|(dx)(dy)|
  −
|      |            |            |            |            |            |
   
o------o------------o------------o------------o------------o------------o
 
o------o------------o------------o------------o------------o------------o
 
|      |            |            |            |            |            |
 
|      |            |            |            |            |            |
Jon Awbrey
12,136

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/87378"