Line 27: |
Line 27: |
| | | |
| <tr> | | <tr> |
− | <td style="border-bottom:2px solid black" align="right"><math>x:</math></td> | + | <td style="border-bottom:2px solid black" align="right"><math>x:\!</math></td> |
| <td style="border-bottom:2px solid black"><math>1 ~ 0</math></td> | | <td style="border-bottom:2px solid black"><math>1 ~ 0</math></td> |
− | <td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td> | + | <td style="border-bottom:2px solid black; border-right:2px solid black"><math>f\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{0}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{0}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{1}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{1}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{2}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{2}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{3}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{3}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{4}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{4}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{5}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{5}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{6}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{6}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{7}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{7}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{8}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{8}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{9}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{9}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{10}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{10}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{11}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{11}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{12}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{12}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{13}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{13}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{14}</math></td> | + | <td style="border-bottom:2px solid black"><math>m_{14}\!</math></td> |
− | <td style="border-bottom:2px solid black"><math>m_{15}</math></td></tr> | + | <td style="border-bottom:2px solid black"><math>m_{15}\!</math></td></tr> |
| | | |
| <tr> | | <tr> |
− | <td><math>f_{0}</math></td> | + | <td><math>f_{0}\!</math></td> |
| <td><math>0 ~ 0</math></td> | | <td><math>0 ~ 0</math></td> |
− | <td style="border-right:2px solid black"><math>\texttt{(~)}</math></td> | + | <td style="border-right:2px solid black"><math>\texttt{(~)}\!</math></td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
| <td style="background:black; color:white">1</td> | | <td style="background:black; color:white">1</td> |
Line 69: |
Line 69: |
| | | |
| <tr> | | <tr> |
− | <td><math>f_{1}</math></td> | + | <td><math>f_{1}\!</math></td> |
| <td><math>0 ~ 1</math></td> | | <td><math>0 ~ 1</math></td> |
− | <td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}</math></td> | + | <td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}\!</math></td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
Line 90: |
Line 90: |
| | | |
| <tr> | | <tr> |
− | <td><math>f_{2}</math></td> | + | <td><math>f_{2}\!</math></td> |
| <td><math>1 ~ 0</math></td> | | <td><math>1 ~ 0</math></td> |
− | <td style="border-right:2px solid black"><math>x</math></td> | + | <td style="border-right:2px solid black"><math>x\!</math></td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
Line 111: |
Line 111: |
| | | |
| <tr> | | <tr> |
− | <td><math>f_{3}</math></td> | + | <td><math>f_{3}\!</math></td> |
| <td><math>1 ~ 1</math></td> | | <td><math>1 ~ 1</math></td> |
− | <td style="border-right:2px solid black"><math>\texttt{((~))}</math></td> | + | <td style="border-right:2px solid black"><math>\texttt{((~))}\!</math></td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
| <td style="background:white; color:black">0</td> | | <td style="background:white; color:black">0</td> |
Line 2,375: |
Line 2,375: |
| | Revised: 12 Mar 2004 | | | Revised: 12 Mar 2004 |
| </pre> | | </pre> |
| + | |
| + | [[Category:Adaptive Systems]] |
| + | [[Category:Artificial Intelligence]] |
| + | [[Category:Combinatorics]] |
| + | [[Category:Computer Science]] |
| + | [[Category:Cybernetics]] |
| + | [[Category:Differential Logic]] |
| + | [[Category:Discrete Systems]] |
| + | [[Category:Dynamical Systems]] |
| + | [[Category:Formal Languages]] |
| + | [[Category:Formal Sciences]] |
| + | [[Category:Formal Systems]] |
| + | [[Category:Functional Logic]] |
| + | [[Category:Graph Theory]] |
| + | [[Category:Group Theory]] |
| + | [[Category:Inquiry]] |
| + | [[Category:Knowledge Representation]] |
| + | [[Category:Linguistics]] |
| + | [[Category:Logic]] |
| + | [[Category:Logical Graphs]] |
| + | [[Category:Mathematics]] |
| + | [[Category:Mathematical Systems Theory]] |
| + | [[Category:Science]] |
| + | [[Category:Semiotics]] |
| + | [[Category:Philosophy]] |
| + | [[Category:Systems Science]] |
| + | [[Category:Visualization]] |