Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 04:49, 4 July 2007

254 bytes added , 04:49, 4 July 2007

→‎Table 60. Propositional Transformation

Line 8,762: Line 8,762:

−

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

+

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

−

|+ '''Table 22. ~~Disjunction~~ ''f'' ~~and Equality~~ ''g'' '''

+

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

−

|

+

|- style="background:paleturquoise"

−

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

+

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

−

| ~~''u''~~ || ~~''v''~~

+

| 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="6" cellspacing="0" style="background:~~paleturquoise~~; font-weight:bold; text-align:center; width:100%"

+

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

−

| ~~''f''~~ || ~~''g''~~

+

| 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

−

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

−

~~| 0 || 0~~

−

|-

−

~~| 0 |~~| 1

|-

−

| 1 ~~|| 0~~

+

| 1

|-

−

~~| 1 |~~| 1

+

| 1

|}

−

|

+

| width="25%" |

−

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

+

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

−

~~| 0 |~~| 1

+

| 1

|-

−

~~| 1 |~~| 0

+

| 0

|-

−

~~| 1 |~~| 0

+

| 0

|-

−

~~| 1 |~~| 1

+

| 1

|}

+

|-

+

| width="25%" |  

+

| width="25%" |  

+

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

+

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

|}

</font><br>

Jon Awbrey

12,144

edits