Fonction NON-OU

In Boolean logic, logical NOR or non-disjunction or joint denial is a truth-functional operator which produces a result that is the negation of logical or. That is, a sentence of the form (p NOR q) is true precisely when neither p nor q is true—i.e. when both of p and q are false. It is logically equivalent to and , where the symbol signifies logical negation, signifies OR, and signifies AND. Non-disjunction is usually denoted as or or (prefix) or . As with its dual, the NAND operator (also known as the Sheffer stroke—symbolized as either , or ), NOR can be used by itself, without any other logical operator, to constitute a logical formal system (making NOR functionally complete). The computer used in the spacecraft that first carried humans to the moon, the Apollo Guidance Computer, was constructed entirely using NOR gates with three inputs. The NOR operation is a logical operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false. In other words, it produces a value of false if and only if at least one operand is true. The truth table of is as follows: The logical NOR is the negation of the disjunction: Peirce is the first to show the functional completeness of non-disjunction while he doesn't publish his result. Peirce used for non-conjunction and for non-disjunction (in fact, what Peirce himself used is and he didn't introduce while Peirce's editors made such disambiguated use). Peirce called as (from Ancient Greek ἀμφήκης, amphēkēs, "cutting both ways"). In 1911, Stamm was the first to publish a description of both non-conjunction (using , the Stamm hook), and non-disjunction (using , the Stamm star), and showed their functional completeness. Note that most uses in logical notation of use this for negation. In 1913, Sheffer described non-disjunction and showed its functional completeness. Sheffer used for non-conjunction, and for non-disjunction. In 1935, Webb described non-disjunction for -valued logic, and use for the operator.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (24)

Cours associés (4)

Séances de cours associées (60)

Table de vérité

Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).

Algèbre de Boole (logique)

Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Fonction booléenne

vignette|Arbre de décision binaire Une fonction booléenne est une fonction prenant en entrée une liste de bits et donnant en sortie un unique bit. Les fonctions booléennes sont très utilisées en informatique théorique, notamment en théorie de la complexité et en cryptologie (par exemple dans les boîtes-S et les chiffrements par flot -- fonction de filtrage ou de combinaison de registres à décalage à rétroaction linéaire). Une fonction booléenne est une fonction de dans où désigne le corps fini à 2 éléments.

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

MATH-489: Number theory in cryptography

The goal of the course is to introduce basic notions from public key cryptography (PKC) as well as basic number-theoretic methods and algorithms for cryptanalysis of protocols and schemes based on PKC

CS-308: Quantum computation

The course introduces teh paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch

Multiplicande d'accélération commune MATH-489: Number theory in cryptography

Explore multiplicand speedup commun à travers des opérations logiques comme bitwise AND et XOR pour optimiser le processus de multiplication.

Logique proposée : Équivalence et formes normales

Couvre la logique de proposition, les preuves d'équivalence et les formes normales à l'aide de tableaux de vérité.

Optimisateur System-R: Optimisation des requêtes et estimation des coûts CS-422: Database systems

Explore l'Optimiseur System-R, l'optimisation des requêtes, l'estimation des coûts, rejoindre les commandes, et les défis de cardinalité dans les systèmes de base de données.