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