Search references for BOOLEAN FUNCTION. Phrases containing BOOLEAN FUNCTION
See searches and references containing BOOLEAN FUNCTION!BOOLEAN FUNCTION
Function returning one of only two values
In mathematics, a Boolean function is a function whose arguments and result assume values from a two-element set (usually {true, false}, {0,1} or {−1,1})
Boolean_function
Generalization of binary functions
pseudo-Boolean function is a function of the form f : B n → R , {\displaystyle f:\mathbf {B} ^{n}\to \mathbb {R} ,} where B = {0, 1} is a Boolean domain
Pseudo-Boolean_function
Function that outputs either true or false
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
Boolean-valued_function
Order-preserving mathematical function
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
Monotonic_function
Study of Boolean functions via discrete Fourier analysis
and theoretical computer science, analysis of Boolean functions is the study of real-valued functions on { 0 , 1 } n {\displaystyle \{0,1\}^{n}} or {
Analysis_of_Boolean_functions
Algebraic manipulation of "true" and "false"
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
Boolean_algebra
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. This means
Balanced_Boolean_function
Boolean function whose output depends only on the number of true inputs
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
Symmetric_Boolean_function
Algorithm for supervised learning of binary classifiers
called a linearly separable Boolean function, or threshold Boolean function. The sequence of numbers of threshold Boolean functions on n inputs is OEIS A000609
Perceptron
Algebraic structure modeling logical operations
List of Boolean algebra topics Boolean domain Boolean function Boolean logic Boolean ring Boolean-valued function Canonical form (Boolean algebra) Complete
Boolean_algebra_(structure)
Discrete set of Boolean variables
A Boolean network consists of a discrete set of Boolean variables each of which has a Boolean function (possibly different for each variable) assigned
Boolean_network
Model of computation
Each gate corresponds to some Boolean function that takes a fixed number of bits as input and outputs a single bit. Boolean circuits provide a model for
Boolean_circuit
Geometric property of a pair of sets of points in Euclidean geometry
whether a Boolean function given in disjunctive or conjunctive normal form is linearly separable. A linear threshold logic gate is a Boolean function defined
Linear_separability
Data structure for Boolean functions
branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation
Binary_decision_diagram
In mathematics, an evasive Boolean function f {\displaystyle f} (of n {\displaystyle n} variables) is a Boolean function for which every decision tree
Evasive_Boolean_function
Expression in a computer program
True/False or Yes/No, Boolean-typed variables, Boolean-valued operators, and Boolean-valued functions. Boolean expressions correspond to propositional formulas
Boolean_expression
Mathematical topics based on the works of George Boole
Look up Boolean, Booleans, or boolean in Wiktionary, the free dictionary. Any kind of logic, function, expression, or theory based on the work of George
Boolean
Analysis of Boolean functions Balanced Boolean function Bent function Boolean algebras canonically defined Boolean function Boolean matrix Boolean-valued function
List of Boolean algebra topics
List_of_Boolean_algebra_topics
Boolean function
In Boolean logic, the majority function (also called the median operator) is the Boolean function that evaluates to false when half or more arguments are
Majority_function
Model of computational complexity
decision trees by Steele and Yao. For Boolean decision trees, the task is to compute the value of an n-bit Boolean function f : { 0 , 1 } n → { 0 , 1 } {\displaystyle
Decision_tree_model
Special type of Boolean function
bent function is a Boolean function that is maximally non-linear; it is as different as possible from the set of all linear and affine functions when
Bent_function
Logic constructed only from NAND gates
The NAND Boolean function has the property of functional completeness. This means that any Boolean expression can be re-expressed by an equivalent expression
NAND_logic
Theorem about complexity measures of Boolean functions
theorem, proved by Hao Huang in 2019, states that the sensitivity of a Boolean function f : { 0 , 1 } n → { 0 , 1 } {\displaystyle f\colon \{0,1\}^{n}\to \{0
Sensitivity_theorem
Logical connective AND
graph AND gate Bitwise AND Boolean algebra Boolean conjunctive query Boolean domain Boolean function Boolean-valued function Conjunction/disjunction duality
Logical_conjunction
are an efficient way to represent and manipulate boolean functions. The value of a boolean function can be determined by following a path in its BDD down
Binary_decision
Properties of mathematical relationships
above function is considered affine in linear algebra (i.e. not linear). A Boolean function is linear if one of the following holds for the function's truth
Linearity
Device performing a Boolean function
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output
Logic_gate
Argument that classification is not really possible without some sort of bias
features contain every Boolean function on k {\displaystyle k} Boolean variables, with each one exactly once. Viewing these Boolean functions as polynomials in
Ugly_duckling_theorem
Function in Boolean algebra
In Boolean algebra, a parity function is a Boolean function whose value is one if and only if the input vector has an odd number of ones. The parity function
Parity_function
Provides lower bounds on the circuit complexity of boolean functions
the circuit complexity of boolean functions. A natural proof shows, either directly or indirectly, that a boolean function has a certain natural combinatorial
Natural_proof
Model of computational complexity
computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related
Circuit_complexity
Set of rules defining correctly structured programs
the Boolean type, Mozilla recommends that the Boolean() function (without new) be used in preference to the Boolean object. const b = new Boolean(false);
JavaScript_syntax
Problem of determining if a Boolean formula could be made true
In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY
Boolean satisfiability problem
Boolean_satisfiability_problem
Boolean polynomials as sums of monomials
Algebraic normal form (ANF) is a representation of functions in boolean algebra. Formulas written in ANF are also known as ring sum normal form (RSNF or
Algebraic_normal_form
Overview of and topical guide to logic
form (Boolean algebra) Boolean conjunctive query Boolean-valued model Boolean domain Boolean expression Boolean ring Boolean function Boolean-valued
Outline_of_logic
Method for increasing reliability
circuits (logic gates) are used to compute the same set of specified Boolean function. If there are no circuit failures, the outputs of the three circuits
Triple_modular_redundancy
Function in logic
Proposition 5.101 Bitwise operation Binary function Boolean domain Boolean logic Boolean-valued function List of Boolean algebra topics Logical constant Modal
Truth_function
Set of all things that may be the input of a mathematical function
In mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by dom ( f ) {\displaystyle \operatorname
Domain_of_a_function
Cryptographic attack
(LFSRs) using a Boolean function. Correlation attacks exploit a statistical weakness that arises from the specific Boolean function chosen for the keystream
Correlation_attack
Symbol connecting formulas in logic
Psychology portal Boolean domain Boolean function Boolean logic Boolean-valued function Catuṣkoṭi Dialetheism Four-valued logic List of Boolean algebra topics
Logical_connective
Book by Marvin Minsky and Seymour Papert
of a boolean function on R {\textstyle R} is the minimal order possible for a perceptron implementing the boolean function. A boolean function is conjunctively
Perceptrons_(book)
Function that preserves distinctness
In mathematics, an injective function (also known as injection, or one-to-one function) is a function f that maps distinct elements of its domain to distinct
Injective_function
Boolean algebra
two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain. The elements of the Boolean domain
Two-element_Boolean_algebra
Mathematical table used in logic
mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional
Truth_table
Device that selects between several analog or digital input signals
device per input signal. Multiplexers can also be used to implement Boolean functions of multiple variables. Conversely, a demultiplexer (or demux) is a
Multiplexer
Subject field of Boolean algebra discussing changes of Boolean variables and functions
of Boolean algebra discussing changes of Boolean variables and Boolean functions. Boolean differential calculus concepts are analogous to those of classical
Boolean_differential_calculus
Data having only values "true" or "false"
In computer science, the Boolean (sometimes shortened to Bool) is a data type that has one of two possible values (usually denoted true and false) which
Boolean_data_type
Combinatorial sequence of numbers
Dedekind number M ( n ) {\displaystyle M(n)} is the number of monotone Boolean functions of n {\displaystyle n} variables. Equivalently, it is the number of
Dedekind_number
Basic component of symmetric key algorithms
property of confusion. Mathematically, an S-box is a nonlinear vectorial Boolean function. In general, an S-box takes some number of input bits, m, and transforms
S-box
In logic, a statement which is always true
is defined as a propositional formula that is true under any possible Boolean valuation of its propositional variables. A key property of tautologies
Tautology_(logic)
Standard form of Boolean function
In Boolean logic, a formula for a Boolean function f is in Blake canonical form (BCF), also called the complete sum of prime implicants, the complete
Blake_canonical_form
Topics referred to by the same term
object-oriented programming Function (computer programming), a callable sequence of instructions Boolean function, used in hardware design Function (music), a relationship
Function
Algorithm for the minimization of Boolean functions
implicants or the tabulation method, is a method used for minimization of Boolean functions that was developed by Willard V. Quine in 1952 and extended by Edward
Quine–McCluskey_algorithm
True when either but not both inputs are true
description of a Boolean function as a polynomial in F 2 {\displaystyle \mathbb {F} _{2}} , using this basis, is called the function's algebraic normal
Exclusive_or
Expression language for XML documents
in 1999, and can be used to compute values (e.g., strings, numbers, or Boolean values) from the content of an XML document. Support for XPath exists in
XPath
Variable that can either be true or false
internal structure of the atomic sentences. Boolean algebra (logic) Boolean data type Boolean domain Boolean function Logical value Predicate variable Howson
Propositional_variable
Number of arguments required by a function
science, arity (/ˈærɪti/ ) is the number of arguments or operands taken by a function, operation or relation. In mathematics, arity may also be called rank,
Arity
Mathematical-logic system based on functions
that AND TRUE FALSE is equivalent to FALSE. A predicate is a function that returns a Boolean value. The most fundamental predicate is ISZERO, which returns
Lambda_calculus
System including an indeterminate value
tables. Philosophy portal Binary logic (disambiguation) Boolean algebra (structure) Boolean function Digital circuit Four-valued logic Homogeneity (linguistics)
Three-valued_logic
Logical connective OR
' Affirming a disjunct Boolean algebra (logic) Boolean algebra topics Boolean domain Boolean function Boolean-valued function Conjunction/disjunction
Logical_disjunction
Special type of Boolean function
In mathematics, a read-once function is a special type of Boolean function that can be described by a Boolean expression in which each variable appears
Read-once_function
Type of logical system
second argument. Equivalently, predicate symbols may be assigned Boolean-valued functions from Dn to { t r u e , f a l s e } {\displaystyle \{\mathrm {true
First-order_logic
Computational learning concept
set of elements that distinguishes a given Boolean function from a given class of other Boolean functions. Let C {\displaystyle C} be a concept class
Witness_set
Class of mathematical functions
(supermodular) functions can be found in "Maximization of submodular functions: Theory and enumeration algorithms", B. Goldengorin. Pseudo-Boolean function Topkis's
Supermodular_function
Data operation used in computer graphics
computer graphics in which several bitmaps are combined into one using a boolean function. The operation involves at least two bitmaps: a "source" (or "foreground")
Bit_blit
Mathematical function such that every output has at least one input
surjective function (also known as surjection, or onto function /ˈɒn.tuː/) is a function f such that, for every element y of the function's codomain, there
Surjective_function
Mathematical function that can be computed by a program
Computable functions are the basic objects of study in computability theory. Informally, a function is computable if there is an algorithm that computes
Computable_function
Target set of a mathematical function
mathematics, a codomain or set of destination of a function is a set into which all of the outputs of the function are constrained to fall. It is the set Y in
Codomain
Logical gate whose output is false if all its inputs are true
inverters followed by an OR gate. The NAND gate is significant because any Boolean function can be implemented by using a combination of NAND gates. This property
NAND_gate
Process of repeating items in a self-similar way
where a function being defined is applied within its own definition. While this apparently defines an infinite number of instances (function values),
Recursion
Paradox in set theory
the function F(fx) could be its own argument: in that case there would be a proposition F(F(fx)), in which the outer function F and the inner function F
Russell's_paradox
Standard forms of Boolean functions
In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF), minterm canonical form, or Sum of Products
Canonical_normal_form
Infinite cardinal number
defined either as an extreme limit of the real number line (applied to a function or sequence that "diverges to infinity" or "increases without bound"),
Aleph_number
Input to a mathematical function
of a function is a value provided to obtain the function's result. It is also called an independent variable. For example, the binary function f ( x
Argument_of_a_function
Concept in mathematical logic
connectives or Boolean operators is one that can be used to express all possible truth tables by combining members of the set into a Boolean expression.
Functional_completeness
Topics referred to by the same term
Boolean operation or Boolean operator may refer to: Boolean function, a function whose arguments and result assume values from a two-element set Boolean
Boolean_operation
Logical connective
reasoning normatively according to nonclassical laws. Boolean domain Boolean function Boolean logic Conditional quantifier Implicational propositional
Material_conditional
Process in digital electronics and integrated circuit design
simplifies) a Boolean function. The Boolean function carried out by the circuit is directly related to the algebraic expression from which the function is implemented
Logic_optimization
is a computational problem of constructing the dual of a monotone Boolean function. Equivalent problems can also be formulated as constructing the transversal
Monotone_dualization
Problem in computer science
often in discussions of computability since it demonstrates that some functions are mathematically definable but not computable. A key part of the formal
Halting_problem
Real-valued mathematical function
false, an R-function is transformed into a "companion" Boolean function (the two functions are called friends). For instance, the R-function ƒ(x, y) = min(x
Rvachev_function
Method of deriving conclusions
symbolic logic in the 19th century, such as George Boole's articulation of Boolean algebra, led to the formulation of many additional rules of inference belonging
Rule_of_inference
Symbolic boolean function representation, extension of BDDs
(MTBDD), is a data structure that is used to symbolically represent a Boolean function whose codomain is an arbitrary finite set S. An ADD is an extension
Algebraic_decision_diagram
English mathematician and philosopher (1815–1864)
equations and the study of the sum of residues of a rational function. In 1847, Boole developed Boolean algebra, a fundamental concept in binary logic, which
George_Boole
Subfield of mathematics
study the semantics of formal logics. A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and
Mathematical_logic
Cryptanalytic attacks using a system of multivariate equations
a set of algebraic equations can be used to solve a cryptographic Boolean function that has a low degree or a high degree of non linearity. The main objective
Algebraic_attack
Boolean function which has monotonic properties
unate function is a type of boolean function which has monotonic properties. They have been studied extensively in switching theory. A function f ( x
Unate_function
Binary operation that is true if and only if both operands are false
operators of propositional logic are: Bitwise NOR Boolean algebra Boolean domain Boolean function Functional completeness NOR gate Propositional logic
Logical_NOR
Logical operation
In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction
Sheffer_stroke
Complexity class of problems
monotone Boolean functions, do they represent the same function? Monotone self-duality: given a CNF formula for a Boolean function, is the function invariant
NP-intermediate
Complexity class used to classify decision problems
in NP. The Boolean satisfiability problem (SAT), where we want to know whether or not a certain formula in propositional logic with Boolean variables is
NP_(complexity)
Set whose elements all belong to another set
defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra under the subset relation, in which the join and meet are given
Subset
Statement that is taken to be true
mathematicians of the 19th century and the developers of systems such as Boolean algebra made elaborate efforts to derive them from traditional arithmetic
Axiom
Method of designing specialized integrated circuits
interconnect structures that provides a Boolean logic function (e.g., AND, OR, XOR, XNOR, inverters) or a storage function (flipflop or latch). The simplest
Standard_cell
Mathematical set of all subsets of a set
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
Power_set
3-volume treatise on mathematics, 1910–1913
English-language nonfiction books of the 20th century. Axiomatic set theory Boolean algebra Information Processing Language – first computational demonstration
Principia_Mathematica
Boolean term that guarantees a function is true whenever the term is true
product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted P ≤ F {\displaystyle P\leq F} , if P implies F (i.e., whenever
Implicant
Digital logic gate
different kinds. As alternative, if different gates are available we can apply Boolean algebra to transform ( A + B ¯ ) ⋅ ( A ¯ + B ) ≡ ( A ⋅ B ) + ( A ¯ ⋅ B
XNOR_gate
Representation of data types in lambda calculus
are functions, represented by lambda abstraction terms. Types that are usually considered primitive in other notations (such as integers, Booleans, pairs
Church_encoding
Collection of mathematical objects
complement (complement in U {\displaystyle U} ). The powerset is a Boolean ring that has symmetric difference as addition, intersection as multiplication
Set_(mathematics)
BOOLEAN FUNCTION
BOOLEAN FUNCTION
Surname or Lastname
English
English : variant of Bowerman.
Surname or Lastname
English
English : metonymic occupational name for a maker and seller of woolen cloth, from Old French drap ‘cloth’.
Surname or Lastname
English
English : habitational name from places in Devon and Norfolk named Boyland. The Norfolk place name is derived from the Old English personal name Boia + lund ‘grove’ (Old Norse lundr).Irish : variant of Boylan.
Girl/Female
Tamil
Foolan | பூலந, பூலà®
Flowering, Blooming, Flower
Foolan | பூலந, பூலà®
Surname or Lastname
Irish
Irish : Anglicized form of Gaelic Ó Baoighealláin. It was the name of a sept of Dartry, County Monaghan.English : variant of Boyland.
Surname or Lastname
English
English : variant spelling of Woolen.
Surname or Lastname
English
English : possibly a variant of Woolen.
Boy/Male
English American German
Cuts the nap of woolen cloth. 'Shireman' In medieval times the shireman served as governor-judge...
Girl/Female
Assamese, Gujarati, Hindu, Indian, Kannada, Telugu, Traditional
Flowering
Boy/Male
Indian, Punjabi, Sikh
God's Spoken Word
Surname or Lastname
English
English : variant of Wool.Americanized form of Jewish Wollman or German Wollmann (see Wollman).
Surname or Lastname
English
English : topographic name for someone who lived on a curved or irregularly shaped piece of land, from Old English wÅh ‘curved’, ‘crooked’ + land ‘land’, ‘estate’, or a habitational name from Woolland in Dorset, named from an Old English winn, wynn ‘meadow’, ‘pasture’ + land ‘land’, ‘estate’.
Surname or Lastname
English
English : variant of Bullen.
Surname or Lastname
English
English : variant of Bullen.
Surname or Lastname
English
English : variant of Boland.Irish : Anglicized form of Gaelic Ó Beólláin, ‘descendant of Bjolan’, a Norse personal name.
Surname or Lastname
Czech
Czech : from a pet form of the personal names Boleslav or Bolebor.Polish (Boleń) : from a pet form of the personal name Bolesław.Variant spelling of German Bohlen.Swedish (Bolén) : ornamental name composed of an unexplained first element + the common surname suffix -én, a derivative of Latin -enius ‘descendant of’.English : variant of Bullen.
Boy/Male
American, British, English
Lives at the Buck Meadow
Surname or Lastname
North German form of Fries 1.Dutch
North German form of Fries 1.Dutch : variant of Frese.English : metonymic occupational name for a weaver of frieze, a coarse woolen cloth with a thick nap, Old French frise.
Girl/Female
Indian
Flowering, Blooming, Flower
Boy/Male
Irish
Puppy.
BOOLEAN FUNCTION
BOOLEAN FUNCTION
Female
English
Feminine form of English Richard, RICHARDA means "powerful ruler."
Boy/Male
Welsh
rock'.
Female
Egyptian
, Anahita ("pure, spotless").
Boy/Male
Tamil
Dharm Dutt | தரà¯à®®Â தà¯à®¤à¯à®¤Â
Gift of the God of religion
Boy/Male
Indian, Sanskrit
Full of Happiness
Girl/Female
Arabic, Muslim
Straight; Pertinent
Female
Greek
(Ἑκάβη) Greek name possibly HEKABE means "worker from far off." In mythology, this is the name of the mother of Kassandra and Polydoros by Priam.
Girl/Female
Australian, Christian, Danish, Finnish, French, German, Greek, Hebrew, Latin, Swedish
Symbol of Innocence; Purity; Beauty; Form of Lillian; Lily Flower; Derived from the Flower Name Lily
Boy/Male
Native American
sacred child; holy child.
Boy/Male
Hindu
Silver flame
BOOLEAN FUNCTION
BOOLEAN FUNCTION
BOOLEAN FUNCTION
BOOLEAN FUNCTION
BOOLEAN FUNCTION
a.
Made of wool; consisting of wool; as, woolen goods.
n.
A kind of woolen.
n.
One who deals in wool.
n.
A kind of woolen cloth.
n.
A studious man; a scholar.
a.
Of or pertaining to Sir Thomas Bodley, or to the celebrated library at Oxford, founded by him in the sixteenth century.
a.
Having the characteristic of Zoilus, a bitter, envious, unjust critic, who lived about 270 years before Christ.
n.
A soft and delicate woolen, or woolen and silk, fabric, for ladies' dresses.
n.
Cloth made of wool; woollen goods.
a.
Alt. of Bollen
n.
A woolen stuff thinner than ratteen.
n.
A kind of woolen cloth; tammy.
pl.
of Woolman
a.
Of or pertaining to wool or woolen cloths; as, woolen manufactures; a woolen mill; a woolen draper.
pl.
of Bookman
n.
A kind of woolen stuff.
a.
See Boln, a.
a.
Swollen; puffed out.
n.
Cloth, or woolen stuffs in general.