12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 03:20, 4 March 2009
, 03:20, 4 March 2009→Note 8: markup
The information that defines the logical transformation <math>F\!</math> can be represented in the form of a truth table, as below.
The information that defines the logical transformation <math>F\!</math> can be represented in the form of a truth table, as below.
<pre>
<br>
----+----
{| align="center" cellpadding="8" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:40%"
0 0 | 0 1
|-
0 1 | 1 0
| style="border-bottom:1px solid black" | <math>u\!</math>
1 0 | 1 0
| style="border-bottom:1px solid black" | <math>v\!</math>
1 1 | 1 1
| style="border-bottom:1px solid black; border-left:1px solid black" | <math>f\!</math>
</pre>
| style="border-bottom:1px solid black" | <math>g\!</math>
|-
| <math>0\!</math>
| <math>0\!</math>
| style="border-left:1px solid black" | <math>0\!</math>
| <math>1\!</math>
|-
| <math>0\!</math>
| <math>1\!</math>
| style="border-left:1px solid black" | <math>1\!</math>
| <math>0\!</math>
|-
| <math>1\!</math>
| <math>0\!</math>
| style="border-left:1px solid black" | <math>1\!</math>
| <math>0\!</math>
|-
| <math>1\!</math>
| <math>1\!</math>
| style="border-left:1px solid black" | <math>1\!</math>
| <math>1\!</math>
|}
<br>
A more complete framework of discussion and a fuller development of this example can be found in the neighborhood of the following site:
A more complete framework of discussion and a fuller development of this example can be found in the neighborhood of the following site: