MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 15:42, 30 May 2009

966 bytes removed ,  15:42, 30 May 2009
→‎Note 6: reduce : tables of tables of matrices → tables of matrices
Line 3,892: Line 3,892:  
|  
 
|  
 
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 3,912: Line 3,910:  
f_7
 
f_7
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 3,933: Line 3,928:  
f_{0111}
 
f_{0111}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 3,954: Line 3,946:  
0~1~1~1
 
0~1~1~1
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 3,975: Line 3,964:  
(x~~y)
 
(x~~y)
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 3,996: Line 3,982:  
\text{not both}~ x ~\text{and}~ y
 
\text{not both}~ x ~\text{and}~ y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,017: Line 4,000:  
\lnot x \lor \lnot y
 
\lnot x \lor \lnot y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,039: Line 4,019:  
f_{15}
 
f_{15}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,060: Line 4,037:  
f_{1111}
 
f_{1111}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,081: Line 4,055:  
1~1~1~1
 
1~1~1~1
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,102: Line 4,073:  
((~))
 
((~))
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,123: Line 4,091:  
\text{true}
 
\text{true}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,144: Line 4,109:  
1
 
1
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|}
 
|}
   Line 4,192: Line 4,156:  
| <math>0\!</math>
 
| <math>0\!</math>
 
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,204: Line 4,166:  
f_8
 
f_8
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,217: Line 4,176:  
f_{1000}
 
f_{1000}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,230: Line 4,186:  
1~0~0~0
 
1~0~0~0
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,243: Line 4,196:  
~x~~y~
 
~x~~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,256: Line 4,206:  
x ~\text{and}~ y
 
x ~\text{and}~ y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,269: Line 4,216:  
x \land y
 
x \land y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,279: Line 4,223:  
f_{12}
 
f_{12}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,288: Line 4,229:  
f_{1100}
 
f_{1100}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,297: Line 4,235:  
1~1~0~0
 
1~1~0~0
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,306: Line 4,241:  
~x~
 
~x~
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,315: Line 4,247:  
x
 
x
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,324: Line 4,253:  
x
 
x
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,334: Line 4,260:  
f_9
 
f_9
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,343: Line 4,266:  
f_{1001}
 
f_{1001}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,352: Line 4,272:  
1~0~0~1
 
1~0~0~1
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,361: Line 4,278:  
((x,~y))
 
((x,~y))
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,370: Line 4,284:  
x ~\text{equal to}~ y
 
x ~\text{equal to}~ y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,379: Line 4,290:  
x = y
 
x = y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,389: Line 4,297:  
f_{10}
 
f_{10}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,398: Line 4,303:  
f_{1010}
 
f_{1010}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,407: Line 4,309:  
1~0~1~0
 
1~0~1~0
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,416: Line 4,315:  
~y~
 
~y~
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,425: Line 4,321:  
y
 
y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,434: Line 4,327:  
y
 
y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
−
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,448: Line 4,338:  
f_{14}
 
f_{14}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,461: Line 4,348:  
f_{1110}
 
f_{1110}
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,474: Line 4,358:  
1~1~1~0
 
1~1~1~0
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,487: Line 4,368:  
((x)(y))
 
((x)(y))
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,500: Line 4,378:  
x ~\text{or}~ y
 
x ~\text{or}~ y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 4,513: Line 4,388:  
x \lor y
 
x \lor y
 
\end{matrix}</math>
 
\end{matrix}</math>
−
|}
   
|-
 
|-
 
| <math>f_{15}\!</math>
 
| <math>f_{15}\!</math>
Jon Awbrey
12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/87365"