# Search results

• ...oolean algebra, posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question problem for proof] at [http://mathoverflow.net/ MathOverFl * [[Boolean domain]]
41 KB (5,845 words) - 14:38, 6 November 2015
• ...tus in reality accorded formal objects. Among those who speak of numbers, functions, properties, relations, and sets as being real, that is to say, as having o * [[Boolean domain]]
25 KB (3,665 words) - 21:05, 16 November 2015
• The ''[[boolean domain]]'' is the set $\mathbb{B} = \{ 0, 1 \}.\!$ ...mathrm{XOR} : \mathbb{B} \times \mathbb{B} \to \mathbb{B},\![/itex] or the boolean relation of ''logical inequality'', $\mathrm{NEQ} \subseteq \mathbb{B} 20 KB (2,655 words) - 21:25, 16 November 2015 • ...b{N}}\!$ where each $\nu_k\!$ is a $k\!$-ary [[boolean function]] defined in such a way that $\nu_k (x_1, \ldots , x_k) = 1\! ...[itex]x = (x_1, \ldots, x_k) \in \mathbb{B}^k\!$ as indicated by the boolean product $x_1 \cdot \ldots \cdot x_k\!$ or the logical conjunctio
22 KB (3,319 words) - 19:22, 6 November 2015
• ...all of the other operators in the subject matter variously described as [[boolean function]]s, monadic predicate calculus, [[propositional calculus]], senten * [[Boolean domain]]
9 KB (1,221 words) - 15:05, 5 November 2015
• ...k \to \mathbb{B},[/itex] where $\mathbb{B} = \{ 0, 1 \}$ is a [[boolean domain]] and where $k\!$ is a nonnegative integer. In the case There are $2^{2^k}$ such functions. These play a basic role in questions of [[complexity theory]] as well as
5 KB (589 words) - 20:25, 5 November 2015
• ...ns]], is the generalization of function composition, or the composition of functions.&nbsp; The following treatment of relation composition takes the &ldquo;str ...heories of various kinds, and through a broadening of category theory from functions to relations in general.
65 KB (6,802 words) - 18:18, 14 November 2015
• ...ble, depending on the overall representation of truth functions as boolean functions. The remainder of this article assumes the usual representation, taking th * [[Boolean domain]]
16 KB (2,190 words) - 18:31, 7 November 2015
• ...mmon principles underlying the algebra of sets, boolean algebra, [[boolean functions]], logical connectives, monadic predicate calculus, [[propositional calculu ...ial orientation, Table&nbsp;1 lists equivalent expressions for the sixteen functions of concrete type $X \times Y \to \mathbb{B}\!$ and abstract type
12 KB (1,631 words) - 03:08, 9 November 2015