Line 2,722: |
Line 2,722: |
| ===Variant 2=== | | ===Variant 2=== |
| | | |
− | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%" | + | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:mintcream; font-weight:bold; text-align:center; width:96%" |
| |+ '''Table 1. Propositional Forms on Two Variables''' | | |+ '''Table 1. Propositional Forms on Two Variables''' |
− | |- style="background:paleturquoise" | + | |- style="background:aliceblue" |
| | <p> </p> | | | <p> </p> |
− | | align="right" | <p><math>x :\!</math></p> | + | | align="right" | <p><math>x\!</math> :</p> |
| | <p>1 1 0 0</p> | | | <p>1 1 0 0</p> |
| | <p> </p> | | | <p> </p> |
| | <p> </p> | | | <p> </p> |
| | <p> </p> | | | <p> </p> |
− | |- style="background:paleturquoise" | + | |- style="background:aliceblue" |
| | <p> </p> | | | <p> </p> |
− | | align="right" | <p><math>y :\!</math></p> | + | | align="right" | <p><math>y\!</math> :</p> |
| | <p>1 0 1 0</p> | | | <p>1 0 1 0</p> |
| | <p> </p> | | | <p> </p> |
Line 2,747: |
Line 2,747: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{1}\!</math></p><br> | | <p><math>f_{1}\!</math></p><br> |
Line 2,755: |
Line 2,755: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0001}\!</math></p><br> | | <p><math>f_{0001}\!</math></p><br> |
Line 2,763: |
Line 2,763: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 0 0 1</p><br> | | <p>0 0 0 1</p><br> |
Line 2,771: |
Line 2,771: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x)(y)\!</math></p><br> | | <p><math>(x)(y)\!</math></p><br> |
Line 2,779: |
Line 2,779: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Neither x nor y</p><br> | | <p>Neither x nor y</p><br> |
Line 2,787: |
Line 2,787: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x \land \lnot y</math></p><br> | | <p><math>\lnot x \land \lnot y</math></p><br> |
Line 2,796: |
Line 2,796: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{3}\!</math></p><br> | | <p><math>f_{3}\!</math></p><br> |
Line 2,802: |
Line 2,802: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0011}\!</math></p><br> | | <p><math>f_{0011}\!</math></p><br> |
Line 2,808: |
Line 2,808: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 0 1 1</p><br> | | <p>0 0 1 1</p><br> |
Line 2,814: |
Line 2,814: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x)\!</math></p><br> | | <p><math>(x)\!</math></p><br> |
Line 2,820: |
Line 2,820: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not x</p><br> | | <p>Not x</p><br> |
Line 2,826: |
Line 2,826: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x</math></p><br> | | <p><math>\lnot x</math></p><br> |
Line 2,833: |
Line 2,833: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{6}\!</math></p><br> | | <p><math>f_{6}\!</math></p><br> |
Line 2,839: |
Line 2,839: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0110}\!</math></p><br> | | <p><math>f_{0110}\!</math></p><br> |
Line 2,845: |
Line 2,845: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 1 0</p><br> | | <p>0 1 1 0</p><br> |
Line 2,851: |
Line 2,851: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x, y)\!</math></p><br> | | <p><math>(x, y)\!</math></p><br> |
Line 2,857: |
Line 2,857: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>x not equal to y</p><br> | | <p>x not equal to y</p><br> |
Line 2,863: |
Line 2,863: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>x \ne y</math></p><br> | | <p><math>x \ne y</math></p><br> |
Line 2,870: |
Line 2,870: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{5}\!</math></p><br> | | <p><math>f_{5}\!</math></p><br> |
Line 2,876: |
Line 2,876: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0101}\!</math></p><br> | | <p><math>f_{0101}\!</math></p><br> |
Line 2,882: |
Line 2,882: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 0 1</p><br> | | <p>0 1 0 1</p><br> |
Line 2,888: |
Line 2,888: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(y)\!</math></p><br> | | <p><math>(y)\!</math></p><br> |
Line 2,894: |
Line 2,894: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not y</p><br> | | <p>Not y</p><br> |
Line 2,900: |
Line 2,900: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot y</math></p><br> | | <p><math>\lnot y</math></p><br> |
Line 2,907: |
Line 2,907: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{7}\!</math></p><br> | | <p><math>f_{7}\!</math></p><br> |
Line 2,915: |
Line 2,915: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0111}\!</math></p><br> | | <p><math>f_{0111}\!</math></p><br> |
Line 2,923: |
Line 2,923: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 1 1</p><br> | | <p>0 1 1 1</p><br> |
Line 2,931: |
Line 2,931: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x\ y)\!</math></p><br> | | <p><math>(x\ y)\!</math></p><br> |
Line 2,939: |
Line 2,939: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not both x and y</p><br> | | <p>Not both x and y</p><br> |
Line 2,947: |
Line 2,947: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x \lor \lnot y</math></p><br> | | <p><math>\lnot x \lor \lnot y</math></p><br> |
Line 2,966: |
Line 2,966: |
| ===Variant 3=== | | ===Variant 3=== |
| | | |
− | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%" | + | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:mintcream; font-weight:bold; text-align:center; width:96%" |
| |+ '''Table 1. Propositional Forms on Two Variables''' | | |+ '''Table 1. Propositional Forms on Two Variables''' |
− | |- style="background:paleturquoise" | + | |- style="background:aliceblue" |
| | <p> </p> | | | <p> </p> |
− | | align="right" | <p><math>x :\!</math></p> | + | | align="right" | <p><math>x\!</math> :</p> |
| | <p>1 1 0 0</p> | | | <p>1 1 0 0</p> |
| | <p> </p> | | | <p> </p> |
| | <p> </p> | | | <p> </p> |
| | <p> </p> | | | <p> </p> |
− | |- style="background:paleturquoise" | + | |- style="background:aliceblue" |
| | <p> </p> | | | <p> </p> |
− | | align="right" | <p><math>y :\!</math></p> | + | | align="right" | <p><math>y\!</math> :</p> |
| | <p>1 0 1 0</p> | | | <p>1 0 1 0</p> |
| | <p> </p> | | | <p> </p> |
Line 2,991: |
Line 2,991: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{1}\!</math></p> | | <p><math>f_{1}\!</math></p> |
Line 2,999: |
Line 2,999: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0001}\!</math></p> | | <p><math>f_{0001}\!</math></p> |
Line 3,007: |
Line 3,007: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 0 0 1</p> | | <p>0 0 0 1</p> |
Line 3,015: |
Line 3,015: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x)(y)\!</math></p> | | <p><math>(x)(y)\!</math></p> |
Line 3,023: |
Line 3,023: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Neither x nor y</p> | | <p>Neither x nor y</p> |
Line 3,031: |
Line 3,031: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x \land \lnot y</math></p> | | <p><math>\lnot x \land \lnot y</math></p> |
Line 3,040: |
Line 3,040: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{3}\!</math></p> | | <p><math>f_{3}\!</math></p> |
Line 3,046: |
Line 3,046: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0011}\!</math></p> | | <p><math>f_{0011}\!</math></p> |
Line 3,052: |
Line 3,052: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 0 1 1</p> | | <p>0 0 1 1</p> |
Line 3,058: |
Line 3,058: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x)\!</math></p> | | <p><math>(x)\!</math></p> |
Line 3,064: |
Line 3,064: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not x</p> | | <p>Not x</p> |
Line 3,070: |
Line 3,070: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x</math></p> | | <p><math>\lnot x</math></p> |
Line 3,077: |
Line 3,077: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{6}\!</math></p> | | <p><math>f_{6}\!</math></p> |
Line 3,083: |
Line 3,083: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0110}\!</math></p> | | <p><math>f_{0110}\!</math></p> |
Line 3,089: |
Line 3,089: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 1 0</p> | | <p>0 1 1 0</p> |
Line 3,095: |
Line 3,095: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x, y)\!</math></p> | | <p><math>(x, y)\!</math></p> |
Line 3,101: |
Line 3,101: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>x not equal to y</p> | | <p>x not equal to y</p> |
Line 3,107: |
Line 3,107: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>x \ne y</math></p> | | <p><math>x \ne y</math></p> |
Line 3,114: |
Line 3,114: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{5}\!</math></p> | | <p><math>f_{5}\!</math></p> |
Line 3,120: |
Line 3,120: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0101}\!</math></p> | | <p><math>f_{0101}\!</math></p> |
Line 3,126: |
Line 3,126: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 0 1</p> | | <p>0 1 0 1</p> |
Line 3,132: |
Line 3,132: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(y)\!</math></p> | | <p><math>(y)\!</math></p> |
Line 3,138: |
Line 3,138: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not y</p> | | <p>Not y</p> |
Line 3,144: |
Line 3,144: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot y</math></p> | | <p><math>\lnot y</math></p> |
Line 3,151: |
Line 3,151: |
| |- | | |- |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{7}\!</math></p> | | <p><math>f_{7}\!</math></p> |
Line 3,159: |
Line 3,159: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>f_{0111}\!</math></p> | | <p><math>f_{0111}\!</math></p> |
Line 3,167: |
Line 3,167: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>0 1 1 1</p> | | <p>0 1 1 1</p> |
Line 3,175: |
Line 3,175: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>(x\ y)\!</math></p> | | <p><math>(x\ y)\!</math></p> |
Line 3,183: |
Line 3,183: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p>Not both x and y</p> | | <p>Not both x and y</p> |
Line 3,191: |
Line 3,191: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:lightcyan" | + | {| align="center" style="background:mintcream" |
| | | | | |
| <p><math>\lnot x \lor \lnot y</math></p> | | <p><math>\lnot x \lor \lnot y</math></p> |
Line 3,210: |
Line 3,210: |
| ===Variant 4=== | | ===Variant 4=== |
| | | |
− | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%" | + | {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:mintcream; font-weight:bold; text-align:center; width:96%" |
| |+ '''Table 1. Propositional Forms on Two Variables''' | | |+ '''Table 1. Propositional Forms on Two Variables''' |
− | |- style="background:paleturquoise" | + | |- style="background:purwablue" |
| | | | | |
− | {| align="right" style="background:paleturquoise; text-align:right" | + | {| align="right" style="background:purwablue; text-align:right" |
| | u : | | | u : |
| |- | | |- |
Line 3,220: |
Line 3,220: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:paleturquoise" | + | {| align="center" style="background:purwablue" |
| | 1100 | | | 1100 |
| |- | | |- |
Line 3,226: |
Line 3,226: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:paleturquoise" | + | {| align="center" style="background:purwablue" |
| | f | | | f |
| |- | | |- |
Line 3,232: |
Line 3,232: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:paleturquoise" | + | {| align="center" style="background:purwablue" |
| | θf | | | θf |
| |- | | |- |
Line 3,238: |
Line 3,238: |
| |} | | |} |
| | | | | |
− | {| align="center" style="background:paleturquoise" | + | {| align="center" style="background:purwablue" |
| | θf | | | θf |
| |- | | |- |
Line 3,245: |
Line 3,245: |
| |- | | |- |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | f<sub>0</sub> | | | f<sub>0</sub> |
| |- | | |- |
Line 3,263: |
Line 3,263: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | 0000 | | | 0000 |
| |- | | |- |
Line 3,281: |
Line 3,281: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | () | | | () |
| |- | | |- |
Line 3,299: |
Line 3,299: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | (( f , () )) | | | (( f , () )) |
| |- | | |- |
Line 3,317: |
Line 3,317: |
| |} | | |} |
| | | | | |
− | {| align="left" cellpadding="2" style="background:lightcyan; text-align:left" | + | {| align="left" cellpadding="2" style="background:mintcream; text-align:left" |
| | f + 1 | | | f + 1 |
| |- | | |- |
Line 3,336: |
Line 3,336: |
| |- | | |- |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | f<sub>8</sub> | | | f<sub>8</sub> |
| |- | | |- |
Line 3,354: |
Line 3,354: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | 1000 | | | 1000 |
| |- | | |- |
Line 3,372: |
Line 3,372: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | u v | | | u v |
| |- | | |- |
Line 3,390: |
Line 3,390: |
| |} | | |} |
| | | | | |
− | {| align="center" cellpadding="2" style="background:lightcyan" | + | {| align="center" cellpadding="2" style="background:mintcream" |
| | (( f , u v )) | | | (( f , u v )) |
| |- | | |- |
Line 3,408: |
Line 3,408: |
| |} | | |} |
| | | | | |
− | {| align="left" cellpadding="2" style="background:lightcyan; text-align:left" | + | {| align="left" cellpadding="2" style="background:mintcream; text-align:left" |
| | f + uv + 1 | | | f + uv + 1 |
| |- | | |- |