L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole. George Boole est le fondteur de l logique moderne. L'lgère de Boole est une lgère permettnt de trduire des signux (tout ou rien) en expressions mthémtiques en remplçnt chque signl élémentire pr des vriles logiques et leur tritement pr des fonctions logiques. L'lgère de Boole permet de résoudre des équtions logiques fin de réliser des fonctions sur des signux numériques. Ces fonctions seront ppelées fonctions comintoires. L'lgère de Boole des fonctions logiques permet de modéliser des risonnements logiques, en exprimnt un «étt» en fonction de conditions. Un mthémticien ritnnique qui, durnt le milieu du XIXe siècle, restructur complètement l logique en un système formel. Plus spécifiquement, l'lgère ooléenne permet d'utiliser des techniques lgériques pour triter les expressions à deux vleurs. Aujourd'hui, l'lgère de Boole trouve de nomreuses pplictions en informtique et dns l conception des circuits électroniques. Étt des contcts et des récepteurs. Un circuit électrique, électronique ou pneumtique, peut voir étts logiques. Ces étts peuvent prendre les vleurs ou 0. Ces étts sont fonctions de l'étt des composnts en série dns le circuit. Étt 0 : Les ctionneurs tels que : moteurs, vérins sont à l'étt 0 (ou niveu s) lorsqu'ils ne sont ps limentés. Le circuit est lors ouvert. Pour un circuit pneumtique ceci correspond à une sence de pression. Pour un circuit électrique cel correspond à une sence de différence de potentiel entre les ornes du circuit. Pour un contct ou un distriuteur, c'est l sence d'ction physique intervennt sur un contct qui représente l'étt 0. GAMBETTA - CARNOT - ARRAS - pge / 5
Étt : Les ctionneurs sont à l'étt (niveu hut) lorsqu'ils sont limentés. Pour un circuit pneumtique ou hydrulique ceci correspond à une pression d ir ou d huile dns le circuit. Pour un circuit électrique cel correspond à une différence de potentiel entre les ornes du circuit. Pour un contct ou un distriuteur ils sont ctionnés, c est à dire qu'une ction physique est prise en compte. Définitions : Contct à fermeture : C'est un contct qui est normlement ouvert (Normlly Open) u repos. Il se ferme lorsqu'il est ctionné. On désigne ce type de contct pr des lettres minuscules,, c... Ses ornes sont repérées pr des chiffres. Symole électrique Contct ouvert u repos (NO) Contct à ouverture : C'est un contct qui est normlement fermé (Normlly Closed) u repos et qui s'ouvre lorsqu'il est ctionné. On désigne ce type de contct pr des lettres /, /, c/ ( / se lit " rre"). Ses ornes sont repérées pr des chiffres, et ici. Symole électrique Contct fermé u repos (NC) GAMBETTA - CARNOT - ARRAS - pge / 5
Étt d'un circuit électrique : Un circuit électrique est dit pssnt, ou fermé, lorsqu'un cournt électrique circule dns ce circuit. Cel implique qu'il y it continuité de ce circuit, c est à dire que le contct étlisse le circuit. Un circuit électrique est non pssnt, ou ouvert, si le cournt ne peut ps circuler dns ce circuit. Un circuit électrique comprend u minimum, une source d'énergie, un récepteur et un contct. BATTERIE V LAMPE V BATTERIE V LAMPE V Circuit ouvert, ps de cournt Circuit fermé, circultion d'un cournt Chronogrmme : Un chronogrmme est une représenttion schémtique temporelle de l évolution d un système utomtisé en fonction des vritions d étt d une ou plusieurs entrées. Cette évolution est représentée sous l forme suivnte : GAMBETTA - CARNOT - ARRAS - pge 3 / 5
Différents types de signux : Dns les systèmes trois types de signux sont utilisés principlement. Les signux nlogiques, numériques et tout ou rien. Un signl nlogique est un signl qui représente l vrition continue d une certine grndeur (ex : tempérture, vitesse...). Un signl logique (tout ou rien) est un signl qui représente l étt inire (vri, non vri) d une vrile d un système (ex : un contcteur d un circuit électrique est soit ctionné soit non ctionné). Un signl numérique est un signl qui représente l vrition d une grndeur pr succession de vleurs discrètes (ex : une montre à ffichge numérique). GAMBETTA - CARNOT - ARRAS - pge 4 / 5
Tle de vérité : Une tle de vérité est l représenttion de l évolution du comportement d un système utomtisé en fonction des vritions de ses entrées. Chcune des vriles est représentée sous une écriture inire. Une tle de vérité s'utilise principlement en logique comintoire. Elle est représentée sous l forme suivnte : Logigrmme : Un logigrmme est un schém représentnt une succession de symoles logiques permettnt d otenir pr cominison de vriles d entrées l sortie recherchée. Attention, les fonctions logiques sont des opérteurs logiques et non des opérteurs mthémtiques. Le résultt otenu ser un résultt logique et non un résultt mthémtique. 0 3 U:A 7400 U:A 740 3 3 U3:A 740 0 GAMBETTA - CARNOT - ARRAS - pge 5 / 5
Codes inires : Le code inire pur : Le code inire pur est une représenttion numérique en se deux. Cette représenttion permet de représenter des nomres sous forme de et de 0, ou de décrire l évolution des vriles vries ou non vries d un système utomtisé, c est cette possiilité que nous llons utiliser. Le nomre de cominisons possiles des vriles se clcule de l fçon suivnte : vrile d'entrée ==> = cominisons (0, ) vriles d'entrée ==> = 4 cominisons ( 00, 0, 0, ) 3 3 vriles d'entrée ==> = 8 cominisons (000, 00, ) 4 4 vriles d'entrée ==> = 6 cominisons (0000, ) n n vriles d'entrée ==> cominisons possiles Le code inire réfléchi : Lorsque l on regrde ligne pr ligne l évolution du code inire pur, on remrque que pour psser d une ligne à l utre, plusieurs vriles peuvent être menées à chnger de vleur simultnément. Ceci est très gênnt lorsque l on cherche à nlyser le comportement d un système en fonction de ses entrées. Un utre code inire été mis u point, c est le code inire réfléchi ou code GRAY du nom de son inventeur. Ce code permet de psser d une ligne à l utre de l description d un système vec l évolution d une seule vrile à l fois. Ce code permettr de définir l évolution d un système utomtisé. En ucun cs il ne pourr servir de se de comptge comme le inire pur. On utiliser ce codge ultérieurement dns le cours pour l définition des tleux de Krnugh. GAMBETTA - CARNOT - ARRAS - pge 6 / 5
Binire pur Binire réfléchi Le inire réfléchi est construit pr symétrie de lignes. Le groupement "" est reproduit en "" symétriquement pr rpport à l ligne. Les groupements "" et "" sont reproduits en "e" symétriquement pr rpport à l ligne. L même règle prévut pour les groupements "c" et "d". L suite se construit à l identique. On remrque lors qu une seule vrile, l vrile rouge, évolue d une ligne à l utre. Le complément d une vrile Nous vons vu précédemment qu une vrile "e" vit deux étts, l étt 0 et l étt. Si on dmet qu il peut exister une vrile "e/" qui l étt inverse de l vrile "e", lors on pourr dire que "e/" est le complément de "e". GAMBETTA - CARNOT - ARRAS - pge 7 / 5
Fonctions logiques Les fonctions logiques sont des opérteurs logiques. C est à dire qu en fonction d une ou plusieurs vriles données, ils vont répondre pr une sortie prticulière. Le symole " Ξ " se lit "équivlent" pour ien distinguer le résultt logique d un résultt mthémtique. Fonction OUI - Éqution : S = ; ==> S - S reproduit l vrile d entrée. Symole électrique 0 S 0 Tle de vérité Chronogrmme S 0 0 7407 U4:A GAMBETTA - CARNOT - ARRAS - pge 8 / 5
Fonction NON - Éqution : S = ( lire S égl rre ) - S reproduit l inverse de l vrile d entrée. Symole électrique 0 7404 Tle de vérité Chronogrmme S 0 0 U4:A GAMBETTA - CARNOT - ARRAS - pge 9 / 5
Fonction ET (AND) - Éqution : S =. ( lire S égl ET ) - S reproduit le produit des vriles d entrée et. L sortie S est u niveu hut, si = ET =, sinon S est u niveu s Symole électrique Porte ET à entrées 0 0 7408 3 S 0 Porte ET à 3 entrées c 3 74 S c S 0 0 0 0 Tle de vérité S 0 0 0 0 0 0 0 ET à entrées 0 0 0 0 0 0 0 0 0 0 0 0 ET à 3 entrées GAMBETTA - CARNOT - ARRAS - pge 0 / 5
Chronogrmme remrque: l fonction ET est commuttive. =. l fonction ET est ssocitive (. ). c =. (. c ) =.. c Q: comment réliser une fonction ET à 3 vriles à l'ide de portes ET à entrées? 3 4 7408 5 6 S 7408 U4:A U4:B GAMBETTA - CARNOT - ARRAS - pge / 5
Solution c 3 4 7408 5 6 S 7408 S = (c. ). =.. c U4:A U4:B GAMBETTA - CARNOT - ARRAS - pge / 5
Fonction OU (OR) - Éqution : S = + ( lire S égl OU ) - S reproduit l somme des vriles d entrée et. L sortie S est u niveu hut, si = OU =, sinon S est u niveu s Symole électrique Porte OU à entrées 3 S 743 c U:A 8 9 S Porte OU à 3 entrées Tle de vérité S 0 0 0 0 0 OU à entrées 4075 U:A c S 0 0 0 0 0 0 0 0 0 0 0 0 0 OU à 3 entrées GAMBETTA - CARNOT - ARRAS - pge 3 / 5
Chronogrmme remrque: l fonction OU est commuttive + = + l fonction OU est ssocitive ( + ) + c = + ( + c ) = + + c Q: comment réliser une fonction OU 4 vriles à l'ide de portes OU à entrées? c d 4 5 9 0 U:B 743 U:C 6 8 3 U:D 743 743 GAMBETTA - CARNOT - ARRAS - pge 4 / 5
Solution c d 4 5 9 0 U:B 743 U:C 6 8 3 U:D 743 743 S = ( + ) + (c + d) = + + c + d GAMBETTA - CARNOT - ARRAS - pge 5 / 5
Fonction ET-NON (NAND ; No-AND) - Éqution : S =. ; S = (. )/ ( lire S égl ET le tout rre) - S reproduit l inverse du produit logique des vriles d entrée et. L sortie S est u niveu s, si = ET =, sinon S est u niveu hut Symole électrique Porte ET-NON à entrées U:A 3 S =. 7400 Porte ET-NON à 3 entrées c 3 U:A 740 S =.. c GAMBETTA - CARNOT - ARRAS - pge 6 / 5
Tle de vérité S 0 0 0 0 0 ET-NON à entrées c S 0 0 0 0 0 0 0 0 0 0 0 0 0 ET-NON à 3 entrées Chronogrmme Remrque: L fonction ET-NON, est une fonction universelle, c est à dire que les fonctions OUI, NON, OU, ET peuvent être rélisées vec uniquement des opérteurs ET-NON. Ainsi toute fonction même complexe peut être rélisée vec uniquement des portes NAND. Exemples ) Réliser une porte NON à l'ide d'une porte ET-NON ) Réliser une porte Et à entrées à l'ide de portes ET-NON c) Réliser une porte OU à entrées à l'ide de portes ET-NON GAMBETTA - CARNOT - ARRAS - pge 7 / 5
Réliser une porte NON à l'ide de porte ET-NON 4 S = 6 5 U:B 7400 Réliser une porte ET à l'ide de porte ET-NON U:A 3. 4 5 U:B 6 S =. 7400 7400 Réliser une porte OU à entrées à l'ide de porte ET-NON 4 5 U3:A 7400 U3:B 3 6 0 9 U3:C 7400 8 S = + 7400 Remrque: (. ) = + (. )/ = + GAMBETTA - CARNOT - ARRAS - pge 8 / 5
Fonction OU-NON (NOR ; No-OR) - Éqution : S = + ; S = ( + )/ ( lire S égl OU le tout rre) - S reproduit l inverse de l somme logique des vriles d entrée et. L sortie S est u niveu s, si = OU =, sinon S est u niveu hut Symole électrique Porte OU-NON à entrées 3 U:A S = +? 740 Porte OU-NON à 3 entrées c 3 U:A 747 S = + + c GAMBETTA - CARNOT - ARRAS - pge 9 / 5
Tle de vérité S 0 0 0 0 0 0 0 OU-NON à entrées c S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 OU-NON à 3 entrées Chronogrmme Remrque: L fonction OU-NON, est ussi une fonction universelle, c est à dire que les fonctions OUI, NON, OU, ET, ET-NON peuvent être rélisées vec uniquement des opérteurs OU-NON. Exemples ) Réliser une porte NON à l'ide d'une porte OU-NON à entrées ) Réliser une porte Et à entrées à l'ide de portes OU-NON c) Réliser une porte OU à entrées à l'ide de portes OU-NON d) Réliser une porte ET-NON à entrées à l'ide de portes OU-NON GAMBETTA - CARNOT - ARRAS - pge 0 / 5
Fonction OU-Exclusif (XOR, exclusive OR) - Éqution : S = ; S = + ( lire S égl OU exclusif ) - S reproduit l somme des vriles d entrée et. L sortie S est u niveu hut, si l'une des deux entrées est à, sinon S est u niveu s. Symole électrique Porte OU-Exclusif à entrées U:A = 3 S = 7436 Tle de vérité S 0 0 0 0 0 0 OU-exclusif à entrées Remrque: S = S = (. ) + (. ) GAMBETTA - CARNOT - ARRAS - pge / 5
exercices montge ) Compléter les chronogrmmes suivnts 4 5 U:B = 6 S S 7436 montge ) 4 5 U:B = 6 S S 0 7436 montge c) 4 5 U:B = 6 S S 7436 GAMBETTA - CARNOT - ARRAS - pge / 5
réponses ) réponse ) S = en effet = (. 0) + (. ) = 0 + = réponse c) S = en effet 0 = (. ) + (. 0) = + 0 = S est toujours u niveu s (en théorie) en effet = (. ) + (. ) = 0 + 0 = 0 GAMBETTA - CARNOT - ARRAS - pge 3 / 5
Reltions crctéristiques de l logique ooléenne : Sommes logiques Produits logiques + =. = + 0 =. 0 = 0 + =. = + =. = 0 + + =.. = Théorèmes d Augustus De Morgn : Le complément d un produit logique de vriles est égl à l somme logique des compléments de vriles. (. ) = + Le complément d une somme logique de vriles est égl u produit logique des compléments de vriles. ( + ) =. GAMBETTA - CARNOT - ARRAS - pge 4 / 5
lien : http://fr.wikipedi.org/wiki/auguste_de_morgn Auguste De Morgn (7 juin 806 à Mduri (Tmil Ndu) - 8 mrs 87) est un mthémticien et logicien ritnnique, né en Inde. Il est le fondteur vec Boole de l logique moderne ; il notmment formulé les lois de De Morgn Auguste De Morgn lien: http://fr.wikipedi.org/wiki/lois_de_de_morgn George Boole Lien: http://fr.wikipedi.org/wiki/george_boole http://fr.wikipedi.org/wiki/algère_de_boole_(logique)#associtivit.c3.a9 http://fr.wikipedi.org/wiki/tle_de_krnugh Bernrd LEWANDOWICZ 6/05/4 logique inire stid.odt GAMBETTA - CARNOT - ARRAS - pge 5 / 5