12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:30, 22 January 2009
, 19:30, 22 January 2009→The Cactus Language : Semantics: fix typo
As for the rest, the other two functions are easily recognized as corresponding to the one-place logical connectives, or the monadic operators on <math>\underline\mathbb{B}.</math> Thus, the function <math>F_1^{(1)} = F_{01}^{(1)}</math> is recognizable as the negation operation, and the function <math>F_2^{(1)} = F_{10}^{(1)}</math> is obviously the identity operation.
As for the rest, the other two functions are easily recognized as corresponding to the one-place logical connectives, or the monadic operators on <math>\underline\mathbb{B}.</math> Thus, the function <math>F_1^{(1)} = F_{01}^{(1)}</math> is recognizable as the negation operation, and the function <math>F_2^{(1)} = F_{10}^{(1)}</math> is obviously the identity operation.
Table 17 presents the boolean functions on two variables, <math>F^{(2)} : \underline\mathbb(B)^2 \to \underline\mathbb(B),</math> of which there are precisely sixteen in number.
Table 17 presents the boolean functions on two variables, <math>F^{(2)} : \underline\mathbb{B}^2 \to \underline\mathbb{B},</math> of which there are precisely sixteen.
<br>
<br>
