12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 05:22, 28 January 2009
, 05:22, 28 January 2009reorg
<br>
<br>
===Translation Rules===
===Logical Translation Rule 0===
<br>
<br>
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
|
|
{| align="center" cellpadding="0" cellspacing="0" style="text-align:right" width="100%"
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:48px"
|- style="height:48px; text-align:right"
| width="98%" | <math>\text{Logical Translation Rule 0}\!</math>
| width="98%" | <math>\text{Logical Translation Rule 0}\!</math>
| width=2%" |
| width="2%" |
|}
|}
|-
|-
<br>
<br>
===Logical Translation Rule 1===
===Logical Translation Rule 1===
L2b15. [True] = (()) = 1 : U->B.
L2b15. [True] = (()) = 1 : U->B.
</pre>
</pre>
<br>
<br>