MyWikiBiz, Author Your Legacy — Wednesday September 10, 2025
Jump to navigationJump to search
276 bytes removed
, 15:32, 30 May 2009
Line 1,477: |
Line 1,477: |
| | | | | |
| |- | | |- |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,497: |
Line 1,495: |
| f_7 | | f_7 |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,518: |
Line 1,513: |
| f_{0111} | | f_{0111} |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,539: |
Line 1,531: |
| 0~1~1~1 | | 0~1~1~1 |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,560: |
Line 1,549: |
| (x~~y) | | (x~~y) |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,581: |
Line 1,567: |
| \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 1,602: |
Line 1,585: |
| \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 1,624: |
Line 1,604: |
| f_{15} | | f_{15} |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,645: |
Line 1,622: |
| f_{1111} | | f_{1111} |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,666: |
Line 1,640: |
| 1~1~1~1 | | 1~1~1~1 |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,687: |
Line 1,658: |
| ((~)) | | ((~)) |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,708: |
Line 1,676: |
| \text{true} | | \text{true} |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
− | |
| |
− | {| align="center"
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 1,729: |
Line 1,694: |
| 1 | | 1 |
| \end{matrix}</math> | | \end{matrix}</math> |
− | |}
| |
| |} | | |} |
| | | |