In mathematics, a symmetric Boolean function is a Boolean function whose value does not depend on the order of its input bits, i.e., it depends only on the number of ones (or zeros) in the input.[1] For this reason they are also known as Boolean counting functions.[2]
There are 2n+1 symmetric n-ary Boolean functions. Instead of the truth table, traditionally used to represent Boolean functions, one may use a more compact representation for an n-variable symmetric Boolean function: the (n + 1)-vector, whose i-th entry (i = 0, ..., n) is the value of the function on an input vector with i ones. Mathematically, the symmetric Boolean functions correspond one-to-one with the functions that map n+1 elements to two elements, .
Symmetric Boolean functions are used to classify Boolean satisfiability problems.
^Ingo Wegener, "The Complexity of Symmetric Boolean Functions", in: Computation Theory and Logic, Lecture Notes in Computer Science, vol. 270, 1987, pp. 433–442
^"BooleanCountingFunction—Wolfram Language Documentation". reference.wolfram.com. Retrieved 2021-05-25.
and 23 Related for: Symmetric Boolean function information
In mathematics, a symmetricBooleanfunction is a Booleanfunction whose value does not depend on the order of its input bits, i.e., it depends only on...
vector-valued Booleanfunction (an S-box in symmetric cryptography). There are 2 2 k {\displaystyle 2^{2^{k}}} different Booleanfunctions with k {\displaystyle...
Analysis of Booleanfunctions Balanced booleanfunction Bent functionBoolean algebras canonically defined BooleanfunctionBoolean matrix Boolean-valued function...
ones and is therefore a symmetricBooleanfunction. The n-variable parity function and its negation are the only Booleanfunctions for which all disjunctive...
optimal provided that the heuristic they use is monotonic. In Boolean algebra, a monotonic function is one such that for all ai and bi in {0,1}, if a1 ≤ b1...
symmetric difference (not disjunction ∨, which would constitute a semiring). Conversely, every Boolean algebra gives rise to a Boolean ring. Boolean rings...
becomes a Boolean ring, with symmetric difference as the addition of the ring and intersection as the multiplication of the ring. The symmetric difference...
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the...
and theoretical computer science, analysis of Booleanfunctions is the study of real-valued functions on { 0 , 1 } n {\displaystyle \{0,1\}^{n}} or {...
expression Boolean ring Boolean function Boolean-valued function Parity functionSymmetricBooleanfunction Conditioned disjunction Field of sets Functional...
bent function is a Booleanfunction that is maximally non-linear; it is as different as possible from the set of all linear and affine functions when...
\mathbb {Z} } of integers and the symmetric group Sn of permutations of n objects, there are also basic examples of Boolean algebras such as the following...
decision affects the incentives of others. Consider a symmetric game with a smooth payoff function f {\displaystyle \,f} defined over actions z i {\displaystyle...
called a linearly separable Booleanfunction, or threshold Booleanfunction. The sequence of numbers of threshold Booleanfunctions on n inputs is OEIS A000609...
relations. Any set of sets closed under the set-theoretic operations forms a Boolean algebra with the join operator being union, the meet operator being intersection...
description of a Booleanfunction as a polynomial in F 2 {\displaystyle \mathbb {F} _{2}} , using this basis, is called the function's algebraic normal...
both of these operations forms a Boolean ring. In set theory, XY is the notation representing the set of all functions from Y to X. As "2" can be defined...
mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to...
them. A bijective function from a set to itself is also called a permutation, and the set of all permutations of a set forms its symmetric group. Some bijections...
{0,1}. For vertex functions use the symmetric, booleanfunction nor : K3 → K defined by nor(x,y,z) = (1+x)(1+y)(1+z) with boolean arithmetic. Thus, the...
theorem, proved by Hao Huang in 2019, states that the sensitivity of a Booleanfunction f : { 0 , 1 } n → { 0 , 1 } {\displaystyle f\colon \{0,1\}^{n}\to \{0...
In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with...
He also showed that such symmetric Venn diagrams exist when n is five or seven. In 2002, Peter Hamburger found symmetric Venn diagrams for n = 11 and...