MyWikiBiz

Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 17:36, 28 May 2008

11,974 bytes added ,  17:36, 28 May 2008
→‎Version 1: add ascii tables
Line 2,581: Line 2,581:  
| <math>(\!|(\!|~|\!)|\!)</math>
 
| <math>(\!|(\!|~|\!)|\!)</math>
 
|}<br>
 
|}<br>
 +
 +
<pre>
 +
Table 3.  Df Expanded Over Ordinary Features {x, y}
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
|      |    f      |  Df | xy  | Df | x(y)  | Df | (x)y  | Df | (x)(y)|
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_0  |    ()    |    ()    |    ()    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_1  |  (x)(y)  |  dx  dy  |  dx (dy)  |  (dx) dy  | ((dx)(dy)) |
 +
|      |            |            |            |            |            |
 +
| f_2  |  (x) y    |  dx (dy)  |  dx  dy  | ((dx)(dy)) |  (dx) dy  |
 +
|      |            |            |            |            |            |
 +
| f_4  |    x (y)  |  (dx) dy  | ((dx)(dy)) |  dx  dy  |  dx (dy)  |
 +
|      |            |            |            |            |            |
 +
| f_8  |    x  y    | ((dx)(dy)) |  (dx) dy  |  dx (dy)  |  dx  dy  |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_3  |  (x)      |  dx      |  dx      |  dx      |  dx      |
 +
|      |            |            |            |            |            |
 +
| f_12 |    x      |  dx      |  dx      |  dx      |  dx      |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_6  |  (x, y)  |  (dx, dy)  |  (dx, dy)  |  (dx, dy)  |  (dx, dy)  |
 +
|      |            |            |            |            |            |
 +
| f_9  |  ((x, y))  |  (dx, dy)  |  (dx, dy)  |  (dx, dy)  |  (dx, dy)  |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_5  |      (y)  |      dy  |      dy  |      dy  |      dy  |
 +
|      |            |            |            |            |            |
 +
| f_10 |      y    |      dy  |      dy  |      dy  |      dy  |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_7  |  (x  y)  | ((dx)(dy)) |  (dx) dy  |  dx (dy)  |  dx  dy  |
 +
|      |            |            |            |            |            |
 +
| f_11 |  (x (y))  |  (dx) dy  | ((dx)(dy)) |  dx  dy  |  dx (dy)  |
 +
|      |            |            |            |            |            |
 +
| f_13 |  ((x) y)  |  dx (dy)  |  dx  dy  | ((dx)(dy)) |  (dx) dy  |
 +
|      |            |            |            |            |            |
 +
| f_14 |  ((x)(y))  |  dx  dy  |  dx (dy)  |  (dx) dy  | ((dx)(dy)) |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_15 |    (())    |    ()    |    ()    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
</pre>
 +
<pre>
 +
Table 4.  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
 +
|      |            |            |            |            |            |
 +
| f_0  |    ()    |    ()    |    ()    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_1  |  (x)(y)  |    x  y    |    x (y)  |  (x) y    |  (x)(y)  |
 +
|      |            |            |            |            |            |
 +
| f_2  |  (x) y    |    x (y)  |    x  y    |  (x)(y)  |  (x) y    |
 +
|      |            |            |            |            |            |
 +
| f_4  |    x (y)  |  (x) y    |  (x)(y)  |    x  y    |    x (y)  |
 +
|      |            |            |            |            |            |
 +
| f_8  |    x  y    |  (x)(y)  |  (x) y    |    x (y)  |    x  y    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_3  |  (x)      |    x      |    x      |  (x)      |  (x)      |
 +
|      |            |            |            |            |            |
 +
| f_12 |    x      |  (x)      |  (x)      |    x      |    x      |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_6  |  (x, y)  |  (x, y)  |  ((x, y))  |  ((x, y))  |  (x, y)  |
 +
|      |            |            |            |            |            |
 +
| f_9  |  ((x, y))  |  ((x, y))  |  (x, y)  |  (x, y)  |  ((x, y))  |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_5  |      (y)  |      y    |      (y)  |      y    |      (y)  |
 +
|      |            |            |            |            |            |
 +
| f_10 |      y    |      (y)  |      y    |      (y)  |      y    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_7  |  (x  y)  |  ((x)(y))  |  ((x) y)  |  (x (y))  |  (x  y)  |
 +
|      |            |            |            |            |            |
 +
| f_11 |  (x (y))  |  ((x) y)  |  ((x)(y))  |  (x  y)  |  (x (y))  |
 +
|      |            |            |            |            |            |
 +
| f_13 |  ((x) y)  |  (x (y))  |  (x  y)  |  ((x)(y))  |  ((x) y)  |
 +
|      |            |            |            |            |            |
 +
| f_14 |  ((x)(y))  |  (x  y)  |  (x (y))  |  ((x) y)  |  ((x)(y))  |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_15 |    (())    |    (())    |    (())    |    (())    |    (())    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|                  |            |            |            |            |
 +
| Fixed Point Total |      4    |      4    |      4    |    16    |
 +
|                  |            |            |            |            |
 +
o-------------------o------------o------------o------------o------------o
 +
</pre>
 +
<pre>
 +
Table 5.  Df Expanded Over Differential Features {dx, dy}
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
|      |    f      | Df| dx dy  | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)|
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_0  |    ()    |    ()    |    ()    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_1  |  (x)(y)  |  ((x, y))  |    (y)    |    (x)    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_2  |  (x) y    |  (x, y)  |    y      |    (x)    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_4  |    x (y)  |  (x, y)  |    (y)    |    x      |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_8  |    x  y    |  ((x, y))  |    y      |    x      |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_3  |  (x)      |    (())    |    (())    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_12 |    x      |    (())    |    (())    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_6  |  (x, y)  |    ()    |    (())    |    (())    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_9  |  ((x, y))  |    ()    |    (())    |    (())    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_5  |      (y)  |    (())    |    ()    |    (())    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_10 |      y    |    (())    |    ()    |    (())    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_7  |  (x  y)  |  ((x, y))  |    y      |    x      |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_11 |  (x (y))  |  (x, y)  |    (y)    |    x      |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_13 |  ((x) y)  |  (x, y)  |    y      |    (x)    |    ()    |
 +
|      |            |            |            |            |            |
 +
| f_14 |  ((x)(y))  |  ((x, y))  |    (y)    |    (x)    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
|      |            |            |            |            |            |
 +
| f_15 |    (())    |    ()    |    ()    |    ()    |    ()    |
 +
|      |            |            |            |            |            |
 +
o------o------------o------------o------------o------------o------------o
 +
</pre>
    
===Version 2===
 
===Version 2===
Jon Awbrey
12,080

edits

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