Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 04:15, 4 July 2007

949 bytes added , 04:15, 4 July 2007

→‎Table 60. Propositional Transformation: copy model table

Line 8,760: Line 8,760:

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

</pre>

+

+

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

+

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

+

|

+

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

+

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

+

|}

+

|

+

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

+

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

+

|}

+

|-

+

|

+

{| 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

+

|}

+

|

+

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

+

| 0 || 1

+

|-

+

| 1 || 0

+

|-

+

| 1 || 0

+

|-

+

| 1 || 1

+

|}

+

|}

+

</font><br>

===Figure 61. Propositional Transformation===

Jon Awbrey

12,080

edits