Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
User:Jon Awbrey/ATLAS
(view source)
Revision as of 14:54, 12 July 2007
414 bytes added
,
14:54, 12 July 2007
→Table 65. Induced Transformation on Propositions
Line 9,454:
Line 9,454:
|}
|}
</font><br>
</font><br>
+
+
{| border=1
+
|
+
{|
+
| u =
+
|-
+
| v =
+
|}
+
|
+
{|
+
| 1 1 0 0
+
|-
+
| 1 0 1 0
+
|}
+
|
+
{|
+
| = u
+
|-
+
| = v
+
|}
+
|-
+
|
+
{|
+
| x =
+
|-
+
| y =
+
|}
+
|
+
{|
+
| 1 1 1 0
+
|-
+
| 1 0 0 1
+
|}
+
|
+
{|
+
| = f‹u, v›
+
|-
+
| = g‹u, v›
+
|}
+
|}
+
<br>
+
<br><font face="courier new">
<br><font face="courier new">
−
{| align="center" border="1" cellpadding="
4
" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
+
{| align="center" border="1" cellpadding="
0
" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 65. Induced Transformation on Propositions
|+ Table 65. Induced Transformation on Propositions
|- style="background:paleturquoise"
|- style="background:paleturquoise"
Line 9,469:
Line 9,511:
|- style="background:paleturquoise"
|- style="background:paleturquoise"
| ''f''<sub>''i''</sub>‹''x'', ''y''›
| ''f''<sub>''i''</sub>‹''x'', ''y''›
−
|
+
| colspan="3"
|
−
{|
+
{|
align="center" border="1" cellpadding="0" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
−
|
+
| width=33%
|
{|
{|
| u =
| u =
Line 9,477:
Line 9,519:
| v =
| v =
|}
|}
−
|
-
+
|
width=33%
|
−
|
{|
{|
−
|
x =
+
|
1 1 0 0
|-
|-
−
|
y =
+
|
1 0 1 0
−
|}
|}
|}
−
|
+
| width=33%
|
{|
{|
−
|
+
|
= u
−
{|
−
| 1 1 0 0
|-
|-
−
|
1 0 1 0
+
|
= v
|}
|}
|-
|-
−
|
+
| width=33%
|
{|
{|
−
|
1 1 1 0
+
|
x =
|-
|-
−
|
1 0 0 1
+
|
y =
−
|}
|}
|}
−
|
+
| width=33%
|
{|
{|
−
|
+
|
1 1 1 0
−
{|
−
| = u
|-
|-
−
|
= v
+
|
1 0 0 1
|}
|}
−
|
-
+
|
width=33%
|
−
|
{|
{|
| = f‹u, v›
| = f‹u, v›
Jon Awbrey
12,080
edits