Changes

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
→‎Truth tables: HTML → LaTeX
Line 22: Line 22:  
==Truth tables==
 
==Truth tables==
   −
Table&nbsp;1 is a [[truth table]] for the sixteen boolean functions of type <math>f : \mathbb{B}^3 \to \mathbb{B},</math> each of which is either a boundary of a point in <math>\mathbb{B}^3</math> or the complement of such a boundary.
+
Table&nbsp;1 is a [[truth table]] for the sixteen boolean functions of type <math>f : \mathbb{B}^3 \to \mathbb{B}</math> whose fibers of 1 are either the boundaries of points in <math>\mathbb{B}^3</math> or the complements of those boundaries.
    
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:whitesmoke; font-weight:bold; text-align:center; width:80%"
 
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:whitesmoke; font-weight:bold; text-align:center; width:80%"
Line 53: Line 53:  
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:ghostwhite; font-weight:bold; text-align:center; width:80%"
 
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:ghostwhite; font-weight:bold; text-align:center; width:80%"
 
|-
 
|-
| width="20%" | f<sub>104</sub>
+
| width="20%" | <math>f_{104}</math>
| width="20%" | f<sub>01101000</sub>
+
| width="20%" | <math>f_{01101000}</math>
 
| width="20%" | 0 1 1 0 1 0 0 0
 
| width="20%" | 0 1 1 0 1 0 0 0
| width="20%" | ( p , q , r )
+
| width="20%" | <math>( p , q , r )</math>
 
|-
 
|-
| f<sub>148</sub> || f<sub>10010100</sub> || 1 0 0 1 0 1 0 0 || ( p , q , (r))
+
| <math>f_{148}</math>
 +
| <math>f_{10010100}</math>
 +
| 1 0 0 1 0 1 0 0
 +
| <math>( p , q , (r))</math>
 
|-
 
|-
| f<sub>146</sub> || f<sub>10010010</sub> || 1 0 0 1 0 0 1 0 || ( p , (q), r )
+
| <math>f_{146}</math>
 +
| <math>f_{10010010}</math>
 +
| 1 0 0 1 0 0 1 0
 +
| <math>( p , (q), r )</math>
 
|-
 
|-
| f<sub>97</sub> || f<sub>01100001</sub> || 0 1 1 0 0 0 0 1 || ( p , (q), (r))
+
| <math>f_{97}</math>
 +
| <math>f_{01100001}</math>
 +
| 0 1 1 0 0 0 0 1
 +
| <math>( p , (q), (r))</math>
 
|-
 
|-
| f<sub>134</sub> || f<sub>10000110</sub> || 1 0 0 0 0 1 1 0 || ((p), q , r )
+
| <math>f_{134}</math>
 +
| <math>f_{10000110}</math>
 +
| 1 0 0 0 0 1 1 0
 +
| <math>((p), q , r )</math>
 
|-
 
|-
| f<sub>73</sub> || f<sub>01001001</sub> || 0 1 0 0 1 0 0 1 || ((p), q , (r))
+
| <math>f_{73}</math>
 +
| <math>f_{01001001}</math>
 +
| 0 1 0 0 1 0 0 1
 +
| <math>((p), q , (r))</math>
 
|-
 
|-
| f<sub>41</sub> || f<sub>00101001</sub> || 0 0 1 0 1 0 0 1 || ((p), (q), r )
+
| <math>f_{41}</math>
 +
| <math>f_{00101001}</math>
 +
| 0 0 1 0 1 0 0 1
 +
| <math>((p), (q), r )</math>
 
|-
 
|-
| f<sub>22</sub> || f<sub>00010110</sub> || 0 0 0 1 0 1 1 0 || ((p), (q), (r))
+
| <math>f_{22}</math>
 +
| <math>f_{00010110}</math>
 +
| 0 0 0 1 0 1 1 0
 +
| <math>((p), (q), (r))</math>
 
|}
 
|}
 
{|  align="center" border="1" cellpadding="4" cellspacing="0" style="background:ghostwhite; font-weight:bold; text-align:center; width:80%"
 
{|  align="center" border="1" cellpadding="4" cellspacing="0" style="background:ghostwhite; font-weight:bold; text-align:center; width:80%"
 
|-
 
|-
| width="20%" | f<sub>233</sub>
+
| width="20%" | <math>f_{233}</math>
| width="20%" | f<sub>11101001</sub>
+
| width="20%" | <math>f_{11101001}</math>
 
| width="20%" | 1 1 1 0 1 0 0 1
 
| width="20%" | 1 1 1 0 1 0 0 1
| width="20%" | (((p), (q), (r)))
+
| width="20%" | <math>(((p), (q), (r)))</math>
 
|-
 
|-
| f<sub>214</sub> || f<sub>11010110</sub> || 1 1 0 1 0 1 1 0 || (((p), (q), r ))
+
| <math>f_{214}</math>
 +
| <math>f_{11010110}</math>
 +
| 1 1 0 1 0 1 1 0
 +
| <math>(((p), (q), r ))</math>
 
|-
 
|-
| f<sub>182</sub> || f<sub>10110110</sub> || 1 0 1 1 0 1 1 0 || (((p), q , (r)))
+
| <math>f_{182}</math>
 +
| <math>f_{10110110}</math>
 +
| 1 0 1 1 0 1 1 0
 +
| <math>(((p), q , (r)))</math>
 
|-
 
|-
| f<sub>121</sub> || f<sub>01111001</sub> || 0 1 1 1 1 0 0 1 || (((p), q , r ))
+
| <math>f_{121}</math>
 +
| <math>f_{01111001}</math>
 +
| 0 1 1 1 1 0 0 1
 +
| <math>(((p), q , r ))</math>
 
|-
 
|-
| f<sub>158</sub> || f<sub>10011110</sub> || 1 0 0 1 1 1 1 0 || (( p , (q), (r)))
+
| <math>f_{158}</math>
 +
| <math>f_{10011110}</math>
 +
| 1 0 0 1 1 1 1 0
 +
| <math>(( p , (q), (r)))</math>
 
|-
 
|-
| f<sub>109</sub> || f<sub>01101101</sub> || 0 1 1 0 1 1 0 1 || (( p , (q), r ))
+
| <math>f_{109}</math>
 +
| <math>f_{01101101}</math>
 +
| 0 1 1 0 1 1 0 1
 +
| <math>(( p , (q), r ))</math>
 
|-
 
|-
| f<sub>107</sub> || f<sub>01101011</sub> || 0 1 1 0 1 0 1 1 || (( p , q , (r)))
+
| <math>f_{107}</math>
 +
| <math>f_{01101011}</math>
 +
| 0 1 1 0 1 0 1 1
 +
| <math>(( p , q , (r)))</math>
 
|-
 
|-
| f<sub>151</sub> || f<sub>10010111</sub> || 1 0 0 1 0 1 1 1 || (( p , q , r ))
+
| <math>f_{151}</math>
 +
| <math>f_{10010111}</math>
 +
| 1 0 0 1 0 1 1 1
 +
| <math>(( p , q , r ))</math>
 
|}
 
|}
 
<br>
 
<br>
12,080

edits

Navigation menu