Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 16:52, 4 July 2007

1,203 bytes added , 16:52, 4 July 2007

→‎Table 64. Transformation of Positions: copy model table

Line 9,051: Line 9,051:

o-----o----------o----------o-------o-------o--------o--------o-------------o

</pre>

+

+

{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"

+

|+ '''Table 60. Propositional Transformation'''

+

|- style="background:paleturquoise"

+

| width="25%" | ''u''

+

| width="25%" | ''v''

+

| width="25%" | ''f''

+

| width="25%" | ''g''

+

|-

+

| width="25%" |

+

{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"

+

| 0

+

|-

+

| 0

+

|-

+

| 1

+

|-

+

| 1

+

|}

+

| width="25%" |

+

{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"

+

| 0

+

|-

+

| 1

+

|-

+

| 0

+

|-

+

| 1

+

|}

+

| width="25%" |

+

{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"

+

| 0

+

|-

+

| 1

+

|-

+

| 1

+

|-

+

| 1

+

|}

+

| width="25%" |

+

{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"

+

| 1

+

|-

+

| 0

+

|-

+

| 0

+

|-

+

| 1

+

|}

+

|-

+

| width="25%" |  

+

| width="25%" |  

+

| width="25%" | ((''u'')(''v''))

+

| width="25%" | ((''u'', ''v''))

+

|}

+

</font><br>

===Table 65. Induced Transformation on Propositions===

Jon Awbrey

12,080

edits