Search results

Jump to: navigation, search
  • ...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 <math>\mathbb{B} = \{ 0, 1 \}.\!</math> ...mathrm{XOR} : \mathbb{B} \times \mathbb{B} \to \mathbb{B},\!</math> or the boolean relation of ''logical inequality'', <math>\mathrm{NEQ} \subseteq \mathbb{B}
    20 KB (2,655 words) - 21:25, 16 November 2015
  • ...b{N}}\!</math> where each <math>\nu_k\!</math> is a <math>k\!</math>-ary [[boolean function]] defined in such a way that <math>\nu_k (x_1, \ldots , x_k) = 1\! ...<math>x = (x_1, \ldots, x_k) \in \mathbb{B}^k\!</math> as indicated by the boolean product <math>x_1 \cdot \ldots \cdot x_k\!</math> 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},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is a [[boolean domain]] and where <math>k\!</math> is a nonnegative integer. In the case There are <math>2^{2^k}</math> 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 <math>X \times Y \to \mathbb{B}\!</math> and abstract type
    12 KB (1,631 words) - 03:08, 9 November 2015