12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 16:48, 22 January 2009
, 16:48, 22 January 2009→The Cactus Language : Semantics: cleanup
{| 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 of One Variable'''
|+ '''Table 16. Boolean Functions on One Variable'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| width="20%" | <math>F\!</math>
| width="20%" | <math>F\!</math>
| <math>\underline{0}</math>
| <math>\underline{0}</math>
| <math>\underline{(} ~ \underline{)}</math>
| <math>\underline{(} ~ \underline{)}</math>
|-
|-
| <math>F_1^{(1)}\!</math>
| <math>F_1^{(1)}\!</math>