Changes

MyWikiBiz, Author Your Legacy — Sunday October 20, 2024
Jump to navigationJump to search
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 6Propositional Forms on One Variable'''
+
|+ '''Table 15Boolean 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%" | &nbsp;
| align="right" | <math>x\colon\!</math>
+
| width="20%" | &nbsp;
| <math>1~0</math>
+
| width="20%" | <math>F(\underline{1})</math>
| <math>~</math>
+
| width="20%" | <math>F(\underline{0})</math>
| <math>~</math>
+
| width="20%" | &nbsp;
| <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%" | &nbsp;
 +
| width="20%" | &nbsp;
 +
| width="20%" | <math>F(\underline{1})</math>
 +
| width="20%" | <math>F(\underline{0})</math>
 +
| width="20%" | &nbsp;
 +
|-
 +
| <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>
   
|}
 
|}
  
12,080

edits

Navigation menu