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. Elle fut utilisée la première fois pour les circuits de commutation téléphonique par Claude Shannon. L'algèbre de Boole des fonctions logiques permet de modéliser des raisonnements logiques, en exprimant un « état » en fonction de conditions. Par exemple, si nous étudions l'expression Communication et l'expression Décrocher : Communication = Émetteur ET Récepteur Communication serait « VRAI » si à la fois les variables Émetteur ET Récepteur étaient actifs (c'est une fonction logique dépendant des variables Émetteur et Récepteur) Décrocher = (Sonnerie ET Décision de répondre) OU Décision d'appeler Décrocher serait « VRAI » soit si à la fois on entend la sonnerie ET l'on décide de répondre, soit (OU) si simplement l'on décide d'appeler. L'algèbre de Boole étant un domaine commun à trois disciplines, on rencontre des notations différentes pour désigner un même objet. Dans le reste de l'article, on indiquera les diverses notations, mais on en privilégiera une pour conserver une certaine homogénéité. On appelle B l'ensemble constitué de deux éléments appelés valeurs de vérité {VRAI, FAUX}. Cet ensemble est aussi noté avec pour et pour . On privilégiera dans la suite la notation . Sur cet ensemble on peut définir deux lois (ou opérations) binaires, les lois ET et OU, et une opération unaire, la négation (ou le complémentaire). Pour l'ensemble des exemples et propriétés suivantes, Elle est définie de la manière suivante : a ET b est VRAI si et seulement si a est VRAI et b est VRAI.

À 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.

Publications associées (20)

Personnes associées (12)

Unités associées (3)

Concepts associés (215)

Cours associés (49)

Séances de cours associées (367)

MOOCs associés (12)

Parallel programming

With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th

Parallel programming

Analyse I

Le contenu de ce cours correspond à celui du cours d'Analyse I, comme il est enseigné pour les étudiantes et les étudiants de l'EPFL pendant leur premier semestre. Chaque chapitre du cours correspond

Fonction NON-OU

La fonction OU-NON (NOR en anglais) est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont la valeur FAUX. Cette fonction logique correspond aux mots français ni... ni, car la phrase ni A ni B est vraie si et seulement si les phrases A et B sont toutes les deux fausses ! On peut utiliser les symboles d'après les Lois de De Morgan Une lampe s'allume, sauf si l'on appuie sur « a » ou « b » ou « a » et « b » et seulement dans ces cas-là.

Majority 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 false and true otherwise, i.e. the value of the function equals the value of the majority of the inputs. Representing true values as 1 and false values as 0, we may use the (real-valued) formula: The "−1/2" in the formula serves to break ties in favor of zeros when the number of arguments n is even. If the term "−1/2" is omitted, the formula can be used for a function that breaks ties in favor of ones.

Mathématiques modernes

Les « mathématiques modernes » (souvent appelées familièrement les « maths modernes ») étaient une façon d'enseigner les mathématiques dans les pays occidentaux durant les années 1960 et 1970. Elles visaient d'une part à améliorer le niveau scientifique général de la population via un enseignement plus abstrait dès l'école primaire et, d'autre part, à dépoussiérer l'enseignement classique des mathématiques à l'école. Ce dernier, très empreint de géométrie, d'arithmétique et de trigonométrie, avait en effet tardé à incorporer les mutations des mathématiques durant la première moitié du .

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms f

2022

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Viktor Kuncak, Simon Guilloud

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variat

Springer2022

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

Riccardo Puppi

Modern manufacturing engineering is based on a ``design-through-analysis'' workflow. According to this paradigm, a prototype is first designed with Computer-aided-design (CAD) software and then finali

EPFL2022

EE-207: Logic systems (for EL)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuits combinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de sy

MATH-124: Geometry for architects I

Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept

EE-110: Logic systems (for MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn

Géométrie: Eléments euclidiens & Vitruve

Explore la première proposition d'Euclid, la symétrie antique, et les figures architecturales de Vitruve.

Théorème de la courbe de Jordan

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.

Polynômes : Définitions et opérations

Couvre la définition et le fonctionnement des polynômes, y compris l'addition et la multiplication, le degré, les coefficients et leur rôle dans les systèmes algébriques.