MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 19:10, 22 January 2009

128 bytes removed ,  19:10, 22 January 2009
→‎The Cactus Language : Semantics: omit underlining in tables + ghostwhite --> whitesmoke
Line 2,084: Line 2,084:  
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 
|+ '''Table 15.  Boolean Functions on Zero Variables'''
 
|+ '''Table 15.  Boolean Functions on Zero Variables'''
−
|- style="background:ghostwhite"
+
|- style="background:whitesmoke"
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
Line 2,093: Line 2,093:  
| <math>F_0^{(0)}\!</math>
 
| <math>F_0^{(0)}\!</math>
 
| <math>\underline{0}</math>
 
| <math>\underline{0}</math>
−
| <math>\underline{(} ~ \underline{)}</math>
+
| <math>(~)</math>
 
|-
 
|-
 
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
 
| <math>F_1^{(0)}\!</math>
 
| <math>F_1^{(0)}\!</math>
 
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
−
| <math>\underline{((} ~ \underline{))}</math>
+
| <math>((~))</math>
 
|}
 
|}
   Line 2,115: Line 2,115:  
<br>
 
<br>
   −
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
+
{| align="center" border="1" cellpadding="6" cellspacing="0" style="text-align:center; width:90%"
 
|+ '''Table 16.  Boolean Functions on One Variable'''
 
|+ '''Table 16.  Boolean Functions on One Variable'''
−
|- style="background:ghostwhite"
+
|- style="background:whitesmoke"
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| colspan="2" | <math>F(x)\!</math>
 
| colspan="2" | <math>F(x)\!</math>
 
| width="24%" | <math>F\!</math>
 
| width="24%" | <math>F\!</math>
−
|- style="background:ghostwhite"
+
|- style="background:whitesmoke"
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
Line 2,133: Line 2,133:  
| <math>\underline{0}</math>
 
| <math>\underline{0}</math>
 
| <math>\underline{0}</math>
 
| <math>\underline{0}</math>
−
| <math>\underline{(} ~ \underline{)}</math>
+
| <math>(~)</math>
 
|-
 
|-
 
| <math>F_1^{(1)}\!</math>
 
| <math>F_1^{(1)}\!</math>
Line 2,139: Line 2,139:  
| <math>\underline{0}</math>
 
| <math>\underline{0}</math>
 
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
−
| <math>\underline{(} x \underline{)}</math>
+
| <math>(x)\!</math>
 
|-
 
|-
 
| <math>F_2^{(1)}\!</math>
 
| <math>F_2^{(1)}\!</math>
Line 2,151: Line 2,151:  
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
 
| <math>\underline{1}</math>
−
| <math>\underline{((} ~ \underline{))}</math>
+
| <math>((~))</math>
 
|}
 
|}
   Line 2,184: Line 2,184:  
{| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:90%"
 
{| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:90%"
 
|+ '''Table 17.  Boolean Functions on Two Variables'''
 
|+ '''Table 17.  Boolean Functions on Two Variables'''
−
|- style="background:ghostwhite"
+
|- style="background:whitesmoke"
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| width="14%" | <math>F\!</math>
 
| colspan="4" | <math>F(x, y)\!</math>
 
| colspan="4" | <math>F(x, y)\!</math>
 
| width="24%" | <math>F\!</math>
 
| width="24%" | <math>F\!</math>
−
|- style="background:ghostwhite"
+
|- style="background:whitesmoke"
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
 
| width="14%" | &nbsp;
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/77624"