Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!
And Ads-free!

Boolean function

In mathematics and logic, a (finitary) Boolean function (or switching function) is a function of the form ƒ: Bk → B, where B. [1]

34 relations: Algebra of sets, Arity, Balanced boolean function, Binary decision diagram, Boolean algebra, Boolean data type, Boolean domain, Boolean-valued function, Computational complexity theory, Computer, Cooperative game, Cryptography, Decision tree model, Evasive Boolean function, Finitary, Finite field, Function (mathematics), Indicator function, List of Boolean algebra topics, Logic, Logical connective, Logical equivalence, Mathematics, Negation normal form, Polynomial, Propositional calculus, Propositional directed acyclic graph, Propositional formula, S-box, Social choice theory, Symmetric Boolean function, Symmetric-key algorithm, Truth function, Truth table.

Algebra of sets

The algebra of sets defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion.

New!!: Boolean function and Algebra of sets · See more »


In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands the function or operation accepts.

New!!: Boolean function and Arity · See more »

Balanced boolean function

In mathematics and computer science, a balanced boolean function is a boolean function whose output yields as many 0s as 1s over its input set.

New!!: Boolean function and Balanced boolean function · See more »

Binary decision diagram

In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function.

New!!: Boolean function and Binary decision diagram · See more »

Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: Boolean function and Boolean algebra · See more »

Boolean data type

In computer science, the Boolean data type is a data type, having two values (usually denoted true and false), intended to represent the truth values of logic and Boolean algebra.

New!!: Boolean function and Boolean data type · See more »

Boolean domain

In mathematics and abstract algebra, a Boolean domain is a set consisting of exactly two elements whose interpretations include false and true.

New!!: Boolean function and Boolean domain · See more »

Boolean-valued function

A boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f: X → B, where X is an arbitrary set and where B is a boolean domain, i.e. a generic two-element set, (for example B.

New!!: Boolean function and Boolean-valued function · See more »

Computational complexity theory

Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.

New!!: Boolean function and Computational complexity theory · See more »


A computer is a general-purpose device that can be programmed to carry out a set of arithmetic or logical operations automatically.

New!!: Boolean function and Computer · See more »

Cooperative game

In game theory, a cooperative game is a game where groups of players ("coalitions") may enforce cooperative behaviour, hence the game is a competition between coalitions of players, rather than between individual players.

New!!: Boolean function and Cooperative game · See more »


Cryptography or cryptology; from Greek κρυπτός kryptós, "hidden, secret"; and γράφειν graphein, "writing", or -λογία -logia, "study", respectively is the practice and study of techniques for secure communication in the presence of third parties (called adversaries).

New!!: Boolean function and Cryptography · See more »

Decision tree model

In computational complexity and communication complexity theories the decision tree model is the model of computation or communication in which an algorithm or communication process is considered to be basically a decision tree, i.e., a sequence of branching operations based on comparisons of some quantities, the comparisons being assigned the unit computational cost.

New!!: Boolean function and Decision tree model · See more »

Evasive Boolean function

In mathematics, an evasive Boolean function ƒ (of n variables) is a Boolean function for which every decision tree algorithm has running time of exactly n.

New!!: Boolean function and Evasive Boolean function · See more »


In mathematics or logic, a finitary operation is an operation that takes a finite number of input values to produce an output, like those of arithmetic.

New!!: Boolean function and Finitary · See more »

Finite field

In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements.

New!!: Boolean function and Finite field · See more »

Function (mathematics)

In mathematics, a function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output.

New!!: Boolean function and Function (mathematics) · See more »

Indicator function

In mathematics, an indicator function or a characteristic function is a function defined on a set X that indicates membership of an element in a subset A of X, having the value 1 for all elements of A and the value 0 for all elements of X not in A. It is usually denoted by a bold or blackboard bold 1 symbol with a subscript describing the event of inclusion.

New!!: Boolean function and Indicator function · See more »

List of Boolean algebra topics

This is a list of topics around Boolean algebra and propositional logic.

New!!: Boolean function and List of Boolean algebra topics · See more »


Logic (from the λογική, logike) is the branch of philosophy concerned with the use and study of valid reasoning.

New!!: Boolean function and Logic · See more »

Logical connective

In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.

New!!: Boolean function and Logical connective · See more »

Logical equivalence

In logic, statements p and q are logically equivalent if they have the same logical content.

New!!: Boolean function and Logical equivalence · See more »


Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change.

New!!: Boolean function and Mathematics · See more »

Negation normal form

In mathematical logic, a formula is in negation normal form if the negation operator (\lnot) is only applied to variables and the only other allowed Boolean operators are conjunction (\land) and disjunction (\lor). Negation normal form is not a canonical form: for example, a \land (b\lor \lnot c) and (a \land b) \lor (a \land \lnot c) are equivalent, and are both in negation normal form.

New!!: Boolean function and Negation normal form · See more »


In mathematics, a polynomial is an expression consisting of variables (or indeterminates) and coefficients, that involves only the operations of addition, subtraction, multiplication, and non-negative integer exponents.

New!!: Boolean function and Polynomial · See more »

Propositional calculus

Propositional calculus (also called propositional logic, sentential calculus, or sentential logic) is the branch of mathematical logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components.

New!!: Boolean function and Propositional calculus · See more »

Propositional directed acyclic graph

A propositional directed acyclic graph (PDAG) is a data structure that is used to represent a Boolean function.

New!!: Boolean function and Propositional directed acyclic graph · See more »

Propositional formula

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value.

New!!: Boolean function and Propositional formula · See more »


In cryptography, an S-box (substitution-box) is a basic component of symmetric key algorithms which performs substitution.

New!!: Boolean function and S-box · See more »

Social choice theory

Social choice theory or social choice is a theoretical framework for analysis of combining individual opinions, preferences, interests, or welfares to reach a collective decision or social welfare in some sense.

New!!: Boolean function and Social choice theory · See more »

Symmetric Boolean function

In mathematics, a symmetric Boolean function is a Boolean function whose value does not depend on the permutation of its input bits, i.e., it depends only on the number of ones in the input.

New!!: Boolean function and Symmetric Boolean function · See more »

Symmetric-key algorithm

Symmetric-key algorithms are algorithms for cryptography that use the same cryptographic keys for both encryption of plaintext and decryption of ciphertext.

New!!: Boolean function and Symmetric-key algorithm · See more »

Truth function

In mathematical logic, a truth function is a function from a set of truth values to truth values.

New!!: Boolean function and Truth function · See more »

Truth table

A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—to compute the functional values of logical expressions on each of their functional arguments, that is, on each combination of values taken by their logical variables (Enderton, 2001).

New!!: Boolean function and Truth table · See more »

Redirects here:

A boolean function, Boolean Function, Boolean functions, Boolean valued function, Finitary boolean function, Switching Function, Switching function.


[1] https://en.wikipedia.org/wiki/Boolean_function

Hey! We are on Facebook now! »