Concept
Fonction booléenne
Concepts associés (38)
Logical equality
Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It gives the functional value true if both functional arguments have the same logical value, and false if they are different.
XOR gate
XOR gate (sometimes EOR, or EXOR and pronounced as Exclusive OR) is a digital logic gate that gives a true (1 or HIGH) output when the number of true inputs is odd. An XOR gate implements an exclusive or () from mathematical logic; that is, a true output results if one, and only one, of the inputs to the gate is true. If both inputs are false (0/LOW) or both are true, a false output results. XOR represents the inequality function, i.e., the output is true if the inputs are not alike otherwise the output is false.
Blake canonical form
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 sum, or the disjunctive prime form, when it is a disjunction of all the prime implicants of f. The Blake canonical form is a special case of disjunctive normal form. The Blake canonical form is not necessarily minimal (upper diagram), however all the terms of a minimal sum are contained in the Blake canonical form.
And-inverter graph
An and-inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two-input nodes representing logical conjunction, terminal nodes labeled with variable names, and edges optionally containing markers indicating logical negation. This representation of a logic function is rarely structurally efficient for large circuits, but is an efficient representation for manipulation of boolean functions.
Boolean differential calculus
Boolean differential calculus (BDC) (German: Boolescher Differentialkalkül (BDK)) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions. Boolean differential calculus concepts are analogous to those of classical differential calculus, notably studying the changes in functions and variables with respect to another/others. The Boolean differential calculus allows various aspects of dynamical systems theory such as automata theory on finite automata Petri net theory supervisory control theory (SCT) to be discussed in a united and closed form, with their individual advantages combined.
Littéral (logique)
En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif). En logique propositionnelle, une variable P est un littéral, de même que sa négation ¬P ; les formes normales disjonctives sont les disjonctions de conjonctions de littéraux, ainsi que les littéraux seuls, les disjonctions et conjonctions de littéraux, et les disjonctions de conjonctions et de littéraux. Un littéral unitaire (resp.
Variable propositionnelle
Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux.
Expression booléenne (programmation informatique)
In computer science, a Boolean expression is an expression used in programming languages that produces a Boolean value when evaluated. A Boolean value is either true or false. A Boolean expression may be composed of a combination of the Boolean constants true or false, Boolean-typed variables, Boolean-valued operators, and Boolean-valued functions. Boolean expressions correspond to propositional formulas in logic and are a special case of Boolean circuits.