Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 18:00, 12 July 2007

423 bytes added , 18:00, 12 July 2007

→‎Table 65. Induced Transformation on Propositions

Line 9,222: Line 9,222:

| rowspan="2" | ''f''<sub>''i''</sub>‹''x'', ''y''›

|

−

{|

+

{| align="right" style="background:paleturquoise; text-align:right"

| u =

|-

Line 9,228: Line 9,228:

|}

|

−

{|

+

{| align="center" style="background:paleturquoise; text-align:center"

| 1 1 0 0

|-

Line 9,234: Line 9,234:

|}

|

−

{|

+

{| align="left" style="background:paleturquoise; text-align:left"

| = u

|-

Line 9,240: Line 9,240:

|}

| rowspan="2" | ''f''<sub>''j''</sub>‹''u'', ''v''›

−

|-

+

|- style="background:paleturquoise"

|

−

{|

+

{| align="right" style="background:paleturquoise; text-align:right"

| x =

|-

Line 9,248: Line 9,248:

|}

|

−

{|

+

{| align="center" style="background:paleturquoise; text-align:center"

| 1 1 1 0

|-

Line 9,254: Line 9,254:

|}

|

−

{|

+

{| align="left" style="background:paleturquoise; text-align:left"

| = f‹u, v›

|-

Jon Awbrey

12,080

edits