MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to search
966 bytes removed
, 15:42, 30 May 2009
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> |