Line 2,725: |
Line 2,725: |
| | | |
| ===Table 1 : Variant 1=== | | ===Table 1 : Variant 1=== |
| + | |
| + | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" |
| + | |+ '''Table 2. Propositional Forms on Two Variables''' |
| + | |- style="background:ghostwhite" |
| + | | <math>\mathcal{L}_1</math> |
| + | | <math>\mathcal{L}_2</math> |
| + | | <math>\mathcal{L}_3</math> |
| + | | <math>\mathcal{L}_4</math> |
| + | | <math>\mathcal{L}_5</math> |
| + | | <math>\mathcal{L}_6</math> |
| + | |- |
| + | | |
| + | {| align="center" style="background:ghostwhite" |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="right" style="background:ghostwhite; text-align:right" |
| + | | <math>x\!</math> : |
| + | |- |
| + | | <math>y\!</math> : |
| + | |} |
| + | | |
| + | {| align="center" style="background:ghostwhite" |
| + | | 1 1 0 0 |
| + | |- |
| + | | 1 0 1 0 |
| + | |} |
| + | | |
| + | {| align="center" style="background:ghostwhite" |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="center" style="background:ghostwhite" |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | | |
| + | {| align="center" style="background:ghostwhite" |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>f_{0}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1}\!</math></p> |
| + | |- |
| + | | <p><math>f_{2}\!</math></p> |
| + | |- |
| + | | <p><math>f_{3}\!</math></p> |
| + | |- |
| + | | <p><math>f_{4}\!</math></p> |
| + | |- |
| + | | <p><math>f_{5}\!</math></p> |
| + | |- |
| + | | <p><math>f_{6}\!</math></p> |
| + | |- |
| + | | <p><math>f_{7}\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>f_{0000}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0001}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0010}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0011}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0100}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0101}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0110}\!</math></p> |
| + | |- |
| + | | <p><math>f_{0111}\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | 0 0 0 0 |
| + | |- |
| + | | 0 0 0 1 |
| + | |- |
| + | | 0 0 1 0 |
| + | |- |
| + | | 0 0 1 1 |
| + | |- |
| + | | 0 1 0 0 |
| + | |- |
| + | | 0 1 0 1 |
| + | |- |
| + | | 0 1 1 0 |
| + | |- |
| + | | 0 1 1 1 |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>(~)\!</math></p> |
| + | |- |
| + | | <p><math>(x)(y)\!</math></p> |
| + | |- |
| + | | <p><math>(x)\ y\!</math></p> |
| + | |- |
| + | | <p><math>(x)\!</math></p> |
| + | |- |
| + | | <p><math>x\ (y)\!</math></p> |
| + | |- |
| + | | <p><math>(y)\!</math></p> |
| + | |- |
| + | | <p><math>(x,\ y)\!</math></p> |
| + | |- |
| + | | <p><math>(x\ y)\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>\operatorname{false}</math></p> |
| + | |- |
| + | | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p> |
| + | |- |
| + | | <p><math>y\ \operatorname{without}\ x</math></p> |
| + | |- |
| + | | <p><math>\operatorname{not}\ x</math></p> |
| + | |- |
| + | | <p><math>x\ \operatorname{without}\ y</math></p> |
| + | |- |
| + | | <p><math>\operatorname{not}\ y</math></p> |
| + | |- |
| + | | <p><math>x\ \operatorname{not~equal~to}\ y</math></p> |
| + | |- |
| + | | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p> |
| + | |} |
| + | | |
| + | {| align="left" cellpadding="2" style="text-align:left" |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>f_{8}\!</math></p> |
| + | |- |
| + | | <p><math>f_{9}\!</math></p> |
| + | |- |
| + | | <p><math>f_{10}\!</math></p> |
| + | |- |
| + | | <p><math>f_{11}\!</math></p> |
| + | |- |
| + | | <p><math>f_{12}\!</math></p> |
| + | |- |
| + | | <p><math>f_{13}\!</math></p> |
| + | |- |
| + | | <p><math>f_{14}\!</math></p> |
| + | |- |
| + | | <p><math>f_{15}\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>f_{1000}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1001}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1010}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1011}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1100}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1101}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1110}\!</math></p> |
| + | |- |
| + | | <p><math>f_{1111}\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | 1 0 0 0 |
| + | |- |
| + | | 1 0 0 1 |
| + | |- |
| + | | 1 0 1 0 |
| + | |- |
| + | | 1 0 1 1 |
| + | |- |
| + | | 1 1 0 0 |
| + | |- |
| + | | 1 1 0 1 |
| + | |- |
| + | | 1 1 1 0 |
| + | |- |
| + | | 1 1 1 1 |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>x\ y\!</math></p> |
| + | |- |
| + | | <p><math>((x,\ y))\!</math></p> |
| + | |- |
| + | | <p><math>y\!</math></p> |
| + | |- |
| + | | <p><math>(x\ (y))\!</math></p> |
| + | |- |
| + | | <p><math>x\!</math></p> |
| + | |- |
| + | | <p><math>((x)\ y)\!</math></p> |
| + | |- |
| + | | <p><math>((x)(y))\!</math></p> |
| + | |- |
| + | | <p><math>((~))\!</math></p> |
| + | |} |
| + | | |
| + | {| align="center" cellpadding="2" |
| + | | <p><math>x\ \operatorname{and}\ y</math></p> |
| + | |- |
| + | | <p><math>x\ \operatorname{equal~to}\ y</math></p> |
| + | |- |
| + | | <p><math>y\!</math></p> |
| + | |- |
| + | | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p> |
| + | |- |
| + | | <p><math>x\!</math></p> |
| + | |- |
| + | | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p> |
| + | |- |
| + | | <p><math>x\ \operatorname{or}\ y</math></p> |
| + | |- |
| + | | <p><math>\operatorname{true}</math></p> |
| + | |} |
| + | | |
| + | {| align="left" cellpadding="2" style="text-align:left" |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |- |
| + | | |
| + | |} |
| + | |} |
| + | <br> |
| + | |
| + | ===Table 1 : Variant 2=== |
| | | |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" |
Line 2,864: |
Line 3,133: |
| <br> | | <br> |
| | | |
− | ===Table 1 : Variant 2=== | + | ===Table 2 : Variant 1=== |
| | | |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" |
Line 2,915: |
Line 3,184: |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>f_{0}\!</math> | + | | <p><math>f_{0}\!</math></p> |
| |- | | |- |
− | | <math>f_{1}\!</math> | + | | <p><math>f_{1}\!</math></p> |
| |- | | |- |
− | | <math>f_{2}\!</math> | + | | <p><math>f_{2}\!</math></p> |
| |- | | |- |
− | | <math>f_{3}\!</math> | + | | <p><math>f_{3}\!</math></p> |
| |- | | |- |
− | | <math>f_{4}\!</math> | + | | <p><math>f_{4}\!</math></p> |
| |- | | |- |
− | | <math>f_{5}\!</math> | + | | <p><math>f_{5}\!</math></p> |
| |- | | |- |
− | | <math>f_{6}\!</math> | + | | <p><math>f_{6}\!</math></p> |
| |- | | |- |
− | | <math>f_{7}\!</math> | + | | <p><math>f_{7}\!</math></p> |
| |} | | |} |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>f_{0000}\!</math> | + | | <p><math>f_{0000}\!</math></p> |
| |- | | |- |
− | | <math>f_{0001}\!</math> | + | | <p><math>f_{0001}\!</math></p> |
| |- | | |- |
− | | <math>f_{0010}\!</math> | + | | <p><math>f_{0010}\!</math></p> |
| |- | | |- |
− | | <math>f_{0011}\!</math> | + | | <p><math>f_{0011}\!</math></p> |
| |- | | |- |
− | | <math>f_{0100}\!</math> | + | | <p><math>f_{0100}\!</math></p> |
| |- | | |- |
− | | <math>f_{0101}\!</math> | + | | <p><math>f_{0101}\!</math></p> |
| |- | | |- |
− | | <math>f_{0110}\!</math> | + | | <p><math>f_{0110}\!</math></p> |
| |- | | |- |
− | | <math>f_{0111}\!</math> | + | | <p><math>f_{0111}\!</math></p> |
| |} | | |} |
| | | | | |
Line 2,969: |
Line 3,238: |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>(~)\!</math> | + | | <p><math>(~)\!</math></p> |
| |- | | |- |
− | | <math>(x)(y)\!</math> | + | | <p><math>(x)(y)\!</math></p> |
| |- | | |- |
− | | <math>(x)\ y\!</math> | + | | <p><math>(x)\ y\!</math></p> |
| |- | | |- |
− | | <math>(x)\!</math> | + | | <p><math>(x)\!</math></p> |
| |- | | |- |
− | | <math>x\ (y)\!</math> | + | | <p><math>x\ (y)\!</math></p> |
| |- | | |- |
− | | <math>(y)\!</math> | + | | <p><math>(y)\!</math></p> |
| |- | | |- |
− | | <math>(x,\ y)\!</math> | + | | <p><math>(x,\ y)\!</math></p> |
| |- | | |- |
− | | <math>(x\ y)\!</math> | + | | <p><math>(x\ y)\!</math></p> |
| |} | | |} |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | | + | | <p><math>\operatorname{false}</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>y\ \operatorname{without}\ x</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{not}\ x</math></p> |
| |- | | |- |
− | | | + | | <p><math>x\ \operatorname{without}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{not}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>x\ \operatorname{not~equal~to}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p> |
| |} | | |} |
| | | | | |
Line 3,024: |
Line 3,293: |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>f_{8}\!</math> | + | | <p><math>f_{8}\!</math></p> |
| |- | | |- |
− | | <math>f_{9}\!</math> | + | | <p><math>f_{9}\!</math></p> |
| |- | | |- |
− | | <math>f_{10}\!</math> | + | | <p><math>f_{10}\!</math></p> |
| |- | | |- |
− | | <math>f_{11}\!</math> | + | | <p><math>f_{11}\!</math></p> |
| |- | | |- |
− | | <math>f_{12}\!</math> | + | | <p><math>f_{12}\!</math></p> |
| |- | | |- |
− | | <math>f_{13}\!</math> | + | | <p><math>f_{13}\!</math></p> |
| |- | | |- |
− | | <math>f_{14}\!</math> | + | | <p><math>f_{14}\!</math></p> |
| |- | | |- |
− | | <math>f_{15}\!</math> | + | | <p><math>f_{15}\!</math></p> |
| |} | | |} |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>f_{1000}\!</math> | + | | <p><math>f_{1000}\!</math></p> |
| |- | | |- |
− | | <math>f_{1001}\!</math> | + | | <p><math>f_{1001}\!</math></p> |
| |- | | |- |
− | | <math>f_{1010}\!</math> | + | | <p><math>f_{1010}\!</math></p> |
| |- | | |- |
− | | <math>f_{1011}\!</math> | + | | <p><math>f_{1011}\!</math></p> |
| |- | | |- |
− | | <math>f_{1100}\!</math> | + | | <p><math>f_{1100}\!</math></p> |
| |- | | |- |
− | | <math>f_{1101}\!</math> | + | | <p><math>f_{1101}\!</math></p> |
| |- | | |- |
− | | <math>f_{1110}\!</math> | + | | <p><math>f_{1110}\!</math></p> |
| |- | | |- |
− | | <math>f_{1111}\!</math> | + | | <p><math>f_{1111}\!</math></p> |
| |} | | |} |
| | | | | |
Line 3,078: |
Line 3,347: |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | <math>x\ y\!</math> | + | | <p><math>x\ y\!</math></p> |
| |- | | |- |
− | | <math>((x,\ y))\!</math> | + | | <p><math>((x,\ y))\!</math></p> |
| |- | | |- |
− | | <math>y\!</math> | + | | <p><math>y\!</math></p> |
| |- | | |- |
− | | <math>(x\ (y))\!</math> | + | | <p><math>(x\ (y))\!</math></p> |
| |- | | |- |
− | | <math>x\!</math> | + | | <p><math>x\!</math></p> |
| |- | | |- |
− | | <math>((x)\ y)\!</math> | + | | <p><math>((x)\ y)\!</math></p> |
| |- | | |- |
− | | <math>((x)(y))\!</math> | + | | <p><math>((x)(y))\!</math></p> |
| |- | | |- |
− | | <math>((~))\!</math> | + | | <p><math>((~))\!</math></p> |
| |} | | |} |
| | | | | |
| {| align="center" cellpadding="2" | | {| align="center" cellpadding="2" |
− | | | + | | <p><math>x\ \operatorname{and}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>x\ \operatorname{equal~to}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>y\!</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>x\!</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p> |
| |- | | |- |
− | | | + | | <p><math>x\ \operatorname{or}\ y</math></p> |
| |- | | |- |
− | | | + | | <p><math>\operatorname{true}</math></p> |
| |} | | |} |
| | | | | |
Line 3,133: |
Line 3,402: |
| <br> | | <br> |
| | | |
− | ===Table 2 : Variant 1=== | + | ===Table 2 : Variant 2=== |
| | | |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" |
Line 3,384: |
Line 3,653: |
| <br> | | <br> |
| | | |
− | ===Table 2 : Variant 2=== | + | ===Table 2 : Variant 3=== |
| | | |
| {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" | | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%" |
Line 3,632: |
Line 3,901: |
| | <p><math>\operatorname{true}</math></p> | | | <p><math>\operatorname{true}</math></p> |
| | <p><math>1\!</math></p> | | | <p><math>1\!</math></p> |
− | |}
| |
− | <br>
| |
− |
| |
− | ===Table 2 : Variant 3===
| |
− |
| |
− | {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
| |
− | |+ '''Table 2. Propositional Forms on Two Variables'''
| |
− | |- style="background:ghostwhite"
| |
− | | <math>\mathcal{L}_1</math>
| |
− | | <math>\mathcal{L}_2</math>
| |
− | | <math>\mathcal{L}_3</math>
| |
− | | <math>\mathcal{L}_4</math>
| |
− | | <math>\mathcal{L}_5</math>
| |
− | | <math>\mathcal{L}_6</math>
| |
− | |-
| |
− | |
| |
− | {| align="center" style="background:ghostwhite"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |
| |
− | {| align="right" style="background:ghostwhite; text-align:right"
| |
− | | <math>x\!</math> :
| |
− | |-
| |
− | | <math>y\!</math> :
| |
− | |}
| |
− | |
| |
− | {| align="center" style="background:ghostwhite"
| |
− | | 1 1 0 0
| |
− | |-
| |
− | | 1 0 1 0
| |
− | |}
| |
− | |
| |
− | {| align="center" style="background:ghostwhite"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |
| |
− | {| align="center" style="background:ghostwhite"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |
| |
− | {| align="center" style="background:ghostwhite"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |-
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>f_{0}\!</math>
| |
− | |-
| |
− | | <math>f_{1}\!</math>
| |
− | |-
| |
− | | <math>f_{2}\!</math>
| |
− | |-
| |
− | | <math>f_{3}\!</math>
| |
− | |-
| |
− | | <math>f_{4}\!</math>
| |
− | |-
| |
− | | <math>f_{5}\!</math>
| |
− | |-
| |
− | | <math>f_{6}\!</math>
| |
− | |-
| |
− | | <math>f_{7}\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>f_{0000}\!</math>
| |
− | |-
| |
− | | <math>f_{0001}\!</math>
| |
− | |-
| |
− | | <math>f_{0010}\!</math>
| |
− | |-
| |
− | | <math>f_{0011}\!</math>
| |
− | |-
| |
− | | <math>f_{0100}\!</math>
| |
− | |-
| |
− | | <math>f_{0101}\!</math>
| |
− | |-
| |
− | | <math>f_{0110}\!</math>
| |
− | |-
| |
− | | <math>f_{0111}\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | 0 0 0 0
| |
− | |-
| |
− | | 0 0 0 1
| |
− | |-
| |
− | | 0 0 1 0
| |
− | |-
| |
− | | 0 0 1 1
| |
− | |-
| |
− | | 0 1 0 0
| |
− | |-
| |
− | | 0 1 0 1
| |
− | |-
| |
− | | 0 1 1 0
| |
− | |-
| |
− | | 0 1 1 1
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>(~)\!</math>
| |
− | |-
| |
− | | <math>(x)(y)\!</math>
| |
− | |-
| |
− | | <math>(x)\ y\!</math>
| |
− | |-
| |
− | | <math>(x)\!</math>
| |
− | |-
| |
− | | <math>x\ (y)\!</math>
| |
− | |-
| |
− | | <math>(y)\!</math>
| |
− | |-
| |
− | | <math>(x,\ y)\!</math>
| |
− | |-
| |
− | | <math>(x\ y)\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |
| |
− | {| align="left" cellpadding="2" style="text-align:left"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |-
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>f_{8}\!</math>
| |
− | |-
| |
− | | <math>f_{9}\!</math>
| |
− | |-
| |
− | | <math>f_{10}\!</math>
| |
− | |-
| |
− | | <math>f_{11}\!</math>
| |
− | |-
| |
− | | <math>f_{12}\!</math>
| |
− | |-
| |
− | | <math>f_{13}\!</math>
| |
− | |-
| |
− | | <math>f_{14}\!</math>
| |
− | |-
| |
− | | <math>f_{15}\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>f_{1000}\!</math>
| |
− | |-
| |
− | | <math>f_{1001}\!</math>
| |
− | |-
| |
− | | <math>f_{1010}\!</math>
| |
− | |-
| |
− | | <math>f_{1011}\!</math>
| |
− | |-
| |
− | | <math>f_{1100}\!</math>
| |
− | |-
| |
− | | <math>f_{1101}\!</math>
| |
− | |-
| |
− | | <math>f_{1110}\!</math>
| |
− | |-
| |
− | | <math>f_{1111}\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | 1 0 0 0
| |
− | |-
| |
− | | 1 0 0 1
| |
− | |-
| |
− | | 1 0 1 0
| |
− | |-
| |
− | | 1 0 1 1
| |
− | |-
| |
− | | 1 1 0 0
| |
− | |-
| |
− | | 1 1 0 1
| |
− | |-
| |
− | | 1 1 1 0
| |
− | |-
| |
− | | 1 1 1 1
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | | <math>x\ y\!</math>
| |
− | |-
| |
− | | <math>((x,\ y))\!</math>
| |
− | |-
| |
− | | <math>y\!</math>
| |
− | |-
| |
− | | <math>(x\ (y))\!</math>
| |
− | |-
| |
− | | <math>x\!</math>
| |
− | |-
| |
− | | <math>((x)\ y)\!</math>
| |
− | |-
| |
− | | <math>((x)(y))\!</math>
| |
− | |-
| |
− | | <math>((~))\!</math>
| |
− | |}
| |
− | |
| |
− | {| align="center" cellpadding="2"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
− | |
| |
− | {| align="left" cellpadding="2" style="text-align:left"
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |-
| |
− | |
| |
− | |}
| |
| |} | | |} |
| <br> | | <br> |