Line 4: |
Line 4: |
| | | |
| <pre> | | <pre> |
− | Table 1. Propositional Forms On Two Variables | + | Table A1. Propositional Forms On Two Variables |
| o---------o---------o---------o----------o------------------o----------o | | o---------o---------o---------o----------o------------------o----------o |
| | L_1 | L_2 | L_3 | L_4 | L_5 | L_6 | | | | L_1 | L_2 | L_3 | L_4 | L_5 | L_6 | |
Line 48: |
Line 48: |
| o---------o---------o---------o----------o------------------o----------o | | o---------o---------o---------o----------o------------------o----------o |
| </pre> | | </pre> |
| + | |
| <pre> | | <pre> |
− | Table 2. Ef Expanded Over Ordinary Features {x, y} | + | Table A2. Propositional Forms On Two Variables |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | L_1 | L_2 | L_3 | L_4 | L_5 | L_6 | |
| + | | | | | | | | |
| + | | Decimal | Binary | Vector | Cactus | English | Ordinary | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | x : 1 1 0 0 | | | | |
| + | | | y : 1 0 1 0 | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_0 | f_0000 | 0 0 0 0 | () | false | 0 | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_1 | f_0001 | 0 0 0 1 | (x)(y) | neither x nor y | ~x & ~y | |
| + | | | | | | | | |
| + | | f_2 | f_0010 | 0 0 1 0 | (x) y | y and not x | ~x & y | |
| + | | | | | | | | |
| + | | f_4 | f_0100 | 0 1 0 0 | x (y) | x and not y | x & ~y | |
| + | | | | | | | | |
| + | | f_8 | f_1000 | 1 0 0 0 | x y | x and y | x & y | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_3 | f_0011 | 0 0 1 1 | (x) | not x | ~x | |
| + | | | | | | | | |
| + | | f_12 | f_1100 | 1 1 0 0 | x | x | x | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_6 | f_0110 | 0 1 1 0 | (x, y) | x not equal to y | x + y | |
| + | | | | | | | | |
| + | | f_9 | f_1001 | 1 0 0 1 | ((x, y)) | x equal to y | x = y | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_5 | f_0101 | 0 1 0 1 | (y) | not y | ~y | |
| + | | | | | | | | |
| + | | f_10 | f_1010 | 1 0 1 0 | y | y | y | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_7 | f_0111 | 0 1 1 1 | (x y) | not both x and y | ~x v ~y | |
| + | | | | | | | | |
| + | | f_11 | f_1011 | 1 0 1 1 | (x (y)) | not x without y | x => y | |
| + | | | | | | | | |
| + | | f_13 | f_1101 | 1 1 0 1 | ((x) y) | not y without x | x <= y | |
| + | | | | | | | | |
| + | | f_14 | f_1110 | 1 1 1 0 | ((x)(y)) | x or y | x v y | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | | | | | | | | |
| + | | f_15 | f_1111 | 1 1 1 1 | (()) | true | 1 | |
| + | | | | | | | | |
| + | o---------o---------o---------o----------o------------------o----------o |
| + | </pre> |
| + | |
| + | <pre> |
| + | Table A3. Ef Expanded Over Differential Features {dx, dy} |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | | f | Ef | xy | Ef | x(y) | Ef | (x)y | Ef | (x)(y)| | + | | | 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 |
Line 60: |
Line 121: |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_1 | (x)(y) | dx dy | dx (dy) | (dx) dy | (dx)(dy) | | + | | f_1 | (x)(y) | x y | x (y) | (x) y | (x)(y) | |
| | | | | | | | | | | | | | | | | |
− | | f_2 | (x) y | dx (dy) | dx dy | (dx)(dy) | (dx) dy | | + | | f_2 | (x) y | x (y) | x y | (x)(y) | (x) y | |
| | | | | | | | | | | | | | | | | |
− | | f_4 | x (y) | (dx) dy | (dx)(dy) | dx dy | dx (dy) | | + | | f_4 | x (y) | (x) y | (x)(y) | x y | x (y) | |
| | | | | | | | | | | | | | | | | |
− | | f_8 | x y | (dx)(dy) | (dx) dy | dx (dy) | dx dy | | + | | f_8 | x y | (x)(y) | (x) y | x (y) | x y | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_3 | (x) | dx | dx | (dx) | (dx) | | + | | f_3 | (x) | x | x | (x) | (x) | |
| | | | | | | | | | | | | | | | | |
− | | f_12 | x | (dx) | (dx) | dx | dx | | + | | f_12 | x | (x) | (x) | x | x | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_6 | (x, y) | (dx, dy) | ((dx, dy)) | ((dx, dy)) | (dx, dy) | | + | | f_6 | (x, y) | (x, y) | ((x, y)) | ((x, y)) | (x, y) | |
| | | | | | | | | | | | | | | | | |
− | | f_9 | ((x, y)) | ((dx, dy)) | (dx, dy) | (dx, dy) | ((dx, dy)) | | + | | f_9 | ((x, y)) | ((x, y)) | (x, y) | (x, y) | ((x, y)) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_5 | (y) | dy | (dy) | dy | (dy) | | + | | f_5 | (y) | y | (y) | y | (y) | |
| | | | | | | | | | | | | | | | | |
− | | f_10 | y | (dy) | dy | (dy) | dy | | + | | f_10 | y | (y) | y | (y) | y | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_7 | (x y) | ((dx)(dy)) | ((dx) dy) | (dx (dy)) | (dx dy) | | + | | f_7 | (x y) | ((x)(y)) | ((x) y) | (x (y)) | (x y) | |
| | | | | | | | | | | | | | | | | |
− | | f_11 | (x (y)) | ((dx) dy) | ((dx)(dy)) | (dx dy) | (dx (dy)) | | + | | f_11 | (x (y)) | ((x) y) | ((x)(y)) | (x y) | (x (y)) | |
| | | | | | | | | | | | | | | | | |
− | | f_13 | ((x) y) | (dx (dy)) | (dx dy) | ((dx)(dy)) | ((dx) dy) | | + | | f_13 | ((x) y) | (x (y)) | (x y) | ((x)(y)) | ((x) y) | |
| | | | | | | | | | | | | | | | | |
− | | f_14 | ((x)(y)) | (dx dy) | (dx (dy)) | ((dx) dy) | ((dx)(dy)) | | + | | f_14 | ((x)(y)) | (x y) | (x (y)) | ((x) y) | ((x)(y)) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
Line 101: |
Line 162: |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| + | | | | | | | |
| + | | Fixed Point Total | 4 | 4 | 4 | 16 | |
| + | | | | | | | |
| + | o-------------------o------------o------------o------------o------------o |
| </pre> | | </pre> |
| + | |
| <pre> | | <pre> |
− | Table 3. Df Expanded Over Ordinary Features {x, y} | + | Table A4. Df Expanded Over Differential Features {dx, dy} |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | | f | Df | xy | Df | x(y) | Df | (x)y | Df | (x)(y)| | + | | | f | Df| dx dy | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)| |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
Line 114: |
Line 180: |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_1 | (x)(y) | dx dy | dx (dy) | (dx) dy | ((dx)(dy)) | | + | | f_1 | (x)(y) | ((x, y)) | (y) | (x) | () | |
| | | | | | | | | | | | | | | | | |
− | | f_2 | (x) y | dx (dy) | dx dy | ((dx)(dy)) | (dx) dy | | + | | f_2 | (x) y | (x, y) | y | (x) | () | |
| | | | | | | | | | | | | | | | | |
− | | f_4 | x (y) | (dx) dy | ((dx)(dy)) | dx dy | dx (dy) | | + | | f_4 | x (y) | (x, y) | (y) | x | () | |
| | | | | | | | | | | | | | | | | |
− | | f_8 | x y | ((dx)(dy)) | (dx) dy | dx (dy) | dx dy | | + | | f_8 | x y | ((x, y)) | y | x | () | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_3 | (x) | dx | dx | dx | dx | | + | | f_3 | (x) | (()) | (()) | () | () | |
| | | | | | | | | | | | | | | | | |
− | | f_12 | x | dx | dx | dx | dx | | + | | f_12 | x | (()) | (()) | () | () | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_6 | (x, y) | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) | | + | | f_6 | (x, y) | () | (()) | (()) | () | |
| | | | | | | | | | | | | | | | | |
− | | f_9 | ((x, y)) | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) | | + | | f_9 | ((x, y)) | () | (()) | (()) | () | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_5 | (y) | dy | dy | dy | dy | | + | | f_5 | (y) | (()) | () | (()) | () | |
| | | | | | | | | | | | | | | | | |
− | | f_10 | y | dy | dy | dy | dy | | + | | f_10 | y | (()) | () | (()) | () | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_7 | (x y) | ((dx)(dy)) | (dx) dy | dx (dy) | dx dy | | + | | f_7 | (x y) | ((x, y)) | y | x | () | |
| | | | | | | | | | | | | | | | | |
− | | f_11 | (x (y)) | (dx) dy | ((dx)(dy)) | dx dy | dx (dy) | | + | | f_11 | (x (y)) | (x, y) | (y) | x | () | |
| | | | | | | | | | | | | | | | | |
− | | f_13 | ((x) y) | dx (dy) | dx dy | ((dx)(dy)) | (dx) dy | | + | | f_13 | ((x) y) | (x, y) | y | (x) | () | |
| | | | | | | | | | | | | | | | | |
− | | f_14 | ((x)(y)) | dx dy | dx (dy) | (dx) dy | ((dx)(dy)) | | + | | f_14 | ((x)(y)) | ((x, y)) | (y) | (x) | () | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
Line 156: |
Line 222: |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| </pre> | | </pre> |
| + | |
| <pre> | | <pre> |
− | Table 4. Ef Expanded Over Differential Features {dx, dy} | + | Table A5. Ef Expanded Over Ordinary Features {x, y} |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | | f | T_11 f | T_10 f | T_01 f | T_00 f | | + | | | f | Ef | xy | Ef | x(y) | Ef | (x)y | Ef | (x)(y)| |
− | | | | | | | |
| |
− | | | | 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 |
Line 170: |
Line 235: |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_1 | (x)(y) | x y | x (y) | (x) y | (x)(y) | | + | | f_1 | (x)(y) | dx dy | dx (dy) | (dx) dy | (dx)(dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_2 | (x) y | x (y) | x y | (x)(y) | (x) y | | + | | f_2 | (x) y | dx (dy) | dx dy | (dx)(dy) | (dx) dy | |
| | | | | | | | | | | | | | | | | |
− | | f_4 | x (y) | (x) y | (x)(y) | x y | x (y) | | + | | f_4 | x (y) | (dx) dy | (dx)(dy) | dx dy | dx (dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_8 | x y | (x)(y) | (x) y | x (y) | x y | | + | | f_8 | x y | (dx)(dy) | (dx) dy | dx (dy) | dx dy | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_3 | (x) | x | x | (x) | (x) | | + | | f_3 | (x) | dx | dx | (dx) | (dx) | |
| | | | | | | | | | | | | | | | | |
− | | f_12 | x | (x) | (x) | x | x | | + | | f_12 | x | (dx) | (dx) | dx | dx | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_6 | (x, y) | (x, y) | ((x, y)) | ((x, y)) | (x, y) | | + | | f_6 | (x, y) | (dx, dy) | ((dx, dy)) | ((dx, dy)) | (dx, dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_9 | ((x, y)) | ((x, y)) | (x, y) | (x, y) | ((x, y)) | | + | | f_9 | ((x, y)) | ((dx, dy)) | (dx, dy) | (dx, dy) | ((dx, dy)) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_5 | (y) | y | (y) | y | (y) | | + | | f_5 | (y) | dy | (dy) | dy | (dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_10 | y | (y) | y | (y) | y | | + | | f_10 | y | (dy) | dy | (dy) | dy | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_7 | (x y) | ((x)(y)) | ((x) y) | (x (y)) | (x y) | | + | | f_7 | (x y) | ((dx)(dy)) | ((dx) dy) | (dx (dy)) | (dx dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_11 | (x (y)) | ((x) y) | ((x)(y)) | (x y) | (x (y)) | | + | | f_11 | (x (y)) | ((dx) dy) | ((dx)(dy)) | (dx dy) | (dx (dy)) | |
| | | | | | | | | | | | | | | | | |
− | | f_13 | ((x) y) | (x (y)) | (x y) | ((x)(y)) | ((x) y) | | + | | f_13 | ((x) y) | (dx (dy)) | (dx dy) | ((dx)(dy)) | ((dx) dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_14 | ((x)(y)) | (x y) | (x (y)) | ((x) y) | ((x)(y)) | | + | | f_14 | ((x)(y)) | (dx dy) | (dx (dy)) | ((dx) dy) | ((dx)(dy)) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
Line 211: |
Line 276: |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
− | | | | | | |
| |
− | | Fixed Point Total | 4 | 4 | 4 | 16 |
| |
− | | | | | | |
| |
− | o-------------------o------------o------------o------------o------------o
| |
| </pre> | | </pre> |
| + | |
| <pre> | | <pre> |
− | Table 5. Df Expanded Over Differential Features {dx, dy} | + | Table A6. Df Expanded Over Ordinary Features {x, y} |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | | f | Df| dx dy | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)| | + | | | f | Df | xy | Df | x(y) | Df | (x)y | Df | (x)(y)| |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
Line 228: |
Line 290: |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_1 | (x)(y) | ((x, y)) | (y) | (x) | () | | + | | f_1 | (x)(y) | dx dy | dx (dy) | (dx) dy | ((dx)(dy)) | |
| | | | | | | | | | | | | | | | | |
− | | f_2 | (x) y | (x, y) | y | (x) | () | | + | | f_2 | (x) y | dx (dy) | dx dy | ((dx)(dy)) | (dx) dy | |
| | | | | | | | | | | | | | | | | |
− | | f_4 | x (y) | (x, y) | (y) | x | () | | + | | f_4 | x (y) | (dx) dy | ((dx)(dy)) | dx dy | dx (dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_8 | x y | ((x, y)) | y | x | () | | + | | f_8 | x y | ((dx)(dy)) | (dx) dy | dx (dy) | dx dy | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_3 | (x) | (()) | (()) | () | () | | + | | f_3 | (x) | dx | dx | dx | dx | |
| | | | | | | | | | | | | | | | | |
− | | f_12 | x | (()) | (()) | () | () | | + | | f_12 | x | dx | dx | dx | dx | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_6 | (x, y) | () | (()) | (()) | () | | + | | f_6 | (x, y) | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_9 | ((x, y)) | () | (()) | (()) | () | | + | | f_9 | ((x, y)) | (dx, dy) | (dx, dy) | (dx, dy) | (dx, dy) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_5 | (y) | (()) | () | (()) | () | | + | | f_5 | (y) | dy | dy | dy | dy | |
| | | | | | | | | | | | | | | | | |
− | | f_10 | y | (()) | () | (()) | () | | + | | f_10 | y | dy | dy | dy | dy | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |
| | | | | | | | | | | | | | | | | |
− | | f_7 | (x y) | ((x, y)) | y | x | () | | + | | f_7 | (x y) | ((dx)(dy)) | (dx) dy | dx (dy) | dx dy | |
| | | | | | | | | | | | | | | | | |
− | | f_11 | (x (y)) | (x, y) | (y) | x | () | | + | | f_11 | (x (y)) | (dx) dy | ((dx)(dy)) | dx dy | dx (dy) | |
| | | | | | | | | | | | | | | | | |
− | | f_13 | ((x) y) | (x, y) | y | (x) | () | | + | | f_13 | ((x) y) | dx (dy) | dx dy | ((dx)(dy)) | (dx) dy | |
| | | | | | | | | | | | | | | | | |
− | | f_14 | ((x)(y)) | ((x, y)) | (y) | (x) | () | | + | | f_14 | ((x)(y)) | dx dy | dx (dy) | (dx) dy | ((dx)(dy)) | |
| | | | | | | | | | | | | | | | | |
| o------o------------o------------o------------o------------o------------o | | o------o------------o------------o------------o------------o------------o |