Line 186: |
Line 186: |
| <br> | | <br> |
| | | |
− | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%" | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" |
− | |+ '''Table 6. Propositional Forms on One Variable''' | + | |+ '''Table 15. Boolean Functions of One Variable''' |
| |- style="background:ghostwhite" | | |- style="background:ghostwhite" |
− | | style="width:16%" | | + | | width="20%" | <math>F\!</math> |
− | <math>\begin{matrix}\mathcal{L}_1 \\ \mbox{Decimal}\end{matrix}</math> | + | | width="20%" | <math>F\!</math> |
− | | style="width:16%" | | + | | colspan="2" | <math>F(x)\!</math> |
− | <math>\begin{matrix}\mathcal{L}_2 \\ \mbox{Binary}\end{matrix}</math>
| + | | width="20%" | <math>F\!</math> |
− | | style="width:16%" |
| |
− | <math>\begin{matrix}\mathcal{L}_3 \\ \mbox{Vector}\end{matrix}</math> | |
− | | style="width:16%" | | |
− | <math>\begin{matrix}\mathcal{L}_4 \\ \mbox{Cactus}\end{matrix}</math> | |
− | | style="width:16%" | | |
− | <math>\begin{matrix}\mathcal{L}_5 \\ \mbox{English}\end{matrix}</math>
| |
− | | style="width:16%" |
| |
− | <math>\begin{matrix}\mathcal{L}_6 \\ \mbox{Ordinary}\end{matrix}</math> | |
| |- style="background:ghostwhite" | | |- style="background:ghostwhite" |
− | | <math>~</math> | + | | width="20%" | |
− | | align="right" | <math>x\colon\!</math> | + | | width="20%" | |
− | | <math>1~0</math> | + | | width="20%" | <math>F(\underline{1})</math> |
− | | <math>~</math> | + | | width="20%" | <math>F(\underline{0})</math> |
− | | <math>~</math> | + | | width="20%" | |
− | | <math>~</math> | |
| |- | | |- |
− | | <math>f_0\!</math> | + | | <math>F_0^{[1]}\!</math> |
− | | <math>f_{00}\!</math> | + | | <math>F_{00}^{[1]}\!</math> |
− | | <math>0~0</math> | + | | <math>\underline{0}</math> |
− | | <math>(~)\!</math> | + | | <math>\underline{0}</math> |
− | | <math>\mbox{false}\!</math> | + | | <math>\underline{(} ~ \underline{)}</math> |
− | | <math>0\!</math>
| |
| |- | | |- |
− | | <math>f_1\!</math>
| |
− | | <math>f_{01}\!</math>
| |
− | | <math>0~1</math>
| |
− | | <math>(x)\!</math>
| |
− | | <math>\mbox{not}\ x</math>
| |
− | | <math>\lnot x</math>
| |
| |- | | |- |
− | | <math>f_2\!</math> | + | | <math>F_1^{[1]}\!</math> |
− | | <math>f_{10}\!</math> | + | | <math>F_{01}^{[1]}\!</math> |
− | | <math>1~0</math> | + | | <math>\underline{0}</math> |
− | | <math>x\!</math> | + | | <math>\underline{1}</math> |
| + | | <math>\underline{(} x \underline{)}</math> |
| + | |- |
| + | | <math>F_2^{[1]}\!</math> |
| + | | <math>F_{10}^{[1]}\!</math> |
| + | | <math>\underline{1}</math> |
| + | | <math>\underline{0}</math> |
| | <math>x\!</math> | | | <math>x\!</math> |
| + | |- |
| + | | <math>F_3^{[1]}\!</math> |
| + | | <math>F_{11}^{[1]}\!</math> |
| + | | <math>\underline{1}</math> |
| + | | <math>\underline{1}</math> |
| + | | <math>\underline{((} ~ \underline{))}</math> |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" |
| + | |+ '''Table 15. Boolean Functions of One Variable''' |
| + | |- style="background:ghostwhite" |
| + | | width="20%" | <math>F\!</math> |
| + | | width="20%" | <math>F\!</math> |
| + | | colspan="2" | <math>F(x)\!</math> |
| + | | width="20%" | <math>F\!</math> |
| + | |- style="background:ghostwhite" |
| + | | width="20%" | |
| + | | width="20%" | |
| + | | width="20%" | <math>F(\underline{1})</math> |
| + | | width="20%" | <math>F(\underline{0})</math> |
| + | | width="20%" | |
| + | |- |
| + | | <math>F_0^{(1)}\!</math> |
| + | | <math>F_{00}^{(1)}\!</math> |
| + | | <math>\underline{0}</math> |
| + | | <math>\underline{0}</math> |
| + | | <math>\underline{(} ~ \underline{)}</math> |
| + | |- |
| + | |- |
| + | | <math>F_1^{(1)}\!</math> |
| + | | <math>F_{01}^{(1)}\!</math> |
| + | | <math>\underline{0}</math> |
| + | | <math>\underline{1}</math> |
| + | | <math>\underline{(} x \underline{)}</math> |
| + | |- |
| + | | <math>F_2^{(1)}\!</math> |
| + | | <math>F_{10}^{(1)}\!</math> |
| + | | <math>\underline{1}</math> |
| + | | <math>\underline{0}</math> |
| | <math>x\!</math> | | | <math>x\!</math> |
| |- | | |- |
− | | <math>f_3\!</math> | + | | <math>F_3^{(1)}\!</math> |
− | | <math>f_{11}\!</math> | + | | <math>F_{11}^{(1)}\!</math> |
− | | <math>1~1</math> | + | | <math>\underline{1}</math> |
− | | <math>((~))\!</math> | + | | <math>\underline{1}</math> |
− | | <math>\mbox{true}\!</math> | + | | <math>\underline{((} ~ \underline{))}</math> |
− | | <math>1\!</math>
| |
| |} | | |} |
| | | |