690 bytes removed
	
		,  15:22, 30 May 2009
	
 
| Line 2,157: | Line 2,157: | 
|  | | <math>0\!</math> |  | | <math>0\!</math> | 
|  | |- |  | |- | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,169: | Line 2,167: | 
|  | f_8 |  | f_8 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,182: | Line 2,177: | 
|  | f_{1000} |  | f_{1000} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,195: | Line 2,187: | 
|  | 1~0~0~0 |  | 1~0~0~0 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,208: | Line 2,197: | 
|  | ~x~~y~ |  | ~x~~y~ | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,221: | Line 2,207: | 
|  | x ~\text{and}~ y |  | x ~\text{and}~ y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,234: | Line 2,217: | 
|  | x \land y |  | x \land y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
|  | |- |  | |- | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,244: | Line 2,224: | 
|  | f_{12} |  | f_{12} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,253: | Line 2,230: | 
|  | f_{1100} |  | f_{1100} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,262: | Line 2,236: | 
|  | 1~1~0~0 |  | 1~1~0~0 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,271: | Line 2,242: | 
|  | ~x~ |  | ~x~ | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,280: | Line 2,248: | 
|  | x |  | x | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,289: | Line 2,254: | 
|  | x |  | x | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
|  | |- |  | |- | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,299: | Line 2,261: | 
|  | f_9 |  | f_9 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,308: | Line 2,267: | 
|  | f_{1001} |  | f_{1001} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,317: | Line 2,273: | 
|  | 1~0~0~1 |  | 1~0~0~1 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,326: | Line 2,279: | 
|  | ((x,~y)) |  | ((x,~y)) | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,335: | Line 2,285: | 
|  | 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 2,344: | Line 2,291: | 
|  | x = y |  | x = y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
|  | |- |  | |- | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,354: | Line 2,298: | 
|  | f_{10} |  | f_{10} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,363: | Line 2,304: | 
|  | f_{1010} |  | f_{1010} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,372: | Line 2,310: | 
|  | 1~0~1~0 |  | 1~0~1~0 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,381: | Line 2,316: | 
|  | ~y~ |  | ~y~ | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,390: | Line 2,322: | 
|  | y |  | y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,399: | Line 2,328: | 
|  | y |  | y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
|  | |- |  | |- | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,413: | Line 2,339: | 
|  | f_{14} |  | f_{14} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,426: | Line 2,349: | 
|  | f_{1110} |  | f_{1110} | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,439: | Line 2,359: | 
|  | 1~1~1~0 |  | 1~1~1~0 | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,452: | Line 2,369: | 
|  | ((x)(y)) |  | ((x)(y)) | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,465: | Line 2,379: | 
|  | x ~\text{or}~ y |  | x ~\text{or}~ y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
| − | |
 |  | 
| − | {| align="center"
 |  | 
|  | | |  | | | 
|  | <math>\begin{matrix} |  | <math>\begin{matrix} | 
| Line 2,478: | Line 2,389: | 
|  | x \lor y |  | x \lor y | 
|  | \end{matrix}</math> |  | \end{matrix}</math> | 
| − | |}
 |  | 
|  | |- |  | |- | 
|  | | <math>f_{15}\!</math> |  | | <math>f_{15}\!</math> |