Architecture des ordinateurs Corrigé du TD 3 : Algébre de Boole Amaud Giersc Benoit Meister et Frédéric Vivien 1. Montrer comment I'opérateur et peut étre obtenu & partir des opérateurs ou et non, De méme pour Popérateur ‘ou avec les opératcurs et et non, ona ou b) = (non a) et (non b) = non{(non a) ox (non b)) = ;non a) ou (non b) => nont(non a) et (non b)) = a ou b eb 2. On note respectivement les opérateurs ou, et, xor et mom par +,-,< et. Montrer & l'aide de tables de vérité queA@B=A-B+A-Bet queASB=(A+B)-(A+B) Correction : Tubles de vérités A[B[A[B [AGB [ABABA B+AB T/1}o;o; o | 0] 0 0 tfojojr] 1 fola 1 ofififo) 1 Ja] o 1 ofoliji) o Lolo 0 A[B[A[B [AGB ATH A+B] (A+B) (ATB) T/tfofoy o | 1 | 0 0 rjofofi) 1) a fa 1 ofififo) 1 |] a fa 1 ofolifi) o Loja o 3. Montrer que A-+ (4B) A+Betquea-(A+B)=A-B Correction : On wise a distributivité de Uopérateur ow sur Vopérateur et, et inversement : A+ (@-B)=(A4A)(A+B) = 1(4+8)=A4B A-(A+B)=(A-A)+(A-B) =04(A-B) =A-B 4. Déterminer le complément de expression A-+B-C Correction : On uilise les lois de de Morgan ; Uopérateur et est priovitaire 5. Montrer que les deux régles dassociativité sont duales, ie. montrer qu’a partir de la regle d’associativité de opérateur ou, on peut déduire, en utilisant les lois de de Morgan, Iassociativité de l'opérateur et (et inverse- ment), Correction : A+(BH+C)=(A4B)4C & AFEFO FATE © T) = (4B) T A,B, et C sont des variables muettes. Par changement de variable {(A — A’), (BB), = )C}} on obtient ta propriété d'associativité du ou : A'-(B!-C!) = (A'-B!)-C! ‘Seanne avee CamSeanner6. Ecrire expression ABB uniquement avec les opérateurs ou, et et non, Yapris 2. : Correctio A@B=A-B+A-B & AGB=A-B+AB < AGB=(A+B)-(A+B) 7. Montrer que la fonction nor forme un groupe logique complet Correction : Pour cela, on montre que la fonction nor permet d'exprimer tous les opérateurs logiques : = nom : nor(A,A) ~ et nor(nor(A,A),nor(B,B)) = nor(A,B) ~ ou: nor(nor(A,B),nor(A, B)) = nor(A,B) TB=A-B Gam = 448) 8, Simplifier au maximum les expressions logiques suivantes. () A-B+A-B Correction : A-B+A-B=(A+A)-B=1-B=B (b) (A+B)-(4+B) Correction : (448) -(A4) (© AtAB Correction : AFA-B=A-14A-B=A.(I+B)=A:1=A @ A(A+B) Correction : A-(A+B)=(A40)-(A+B)=A+0-B=A+0=A (© 4-BLAFBECHD Correction : ABs AFBCHD = (AFB) ATBHCHD) = UFR (AFB) + CFD) donc, d'apris Vexercice 8d, ql > a = (0 A+B-C+A-(B-C)-(4-D+B) Correction : A+B-C+A-(B-C)-(A-D+B) = (A+B-C)+(A+B-C)-(A-D+B) apres Vexercice 3, AGB-C+A-(BC)-(A-D+B) =(A4B-C)+(A-D4B)=(A+A-D)+(B+B-C) apres Uexercice 8c, A+B-C+A-(B-C):(A-D+B) =A+B (@ (A@B)-B+A-B ‘Seanne avee CamSeannerCorrection : apres Vexercice 2, (A@B)-B+A-B=(A-B+A-B)-B+A-B BYAB-B+A-B BLA-B apres Vexercice 8a, (hy ASA-BLAB Correction _ _ AVA B+A-B=(A+A-B)+A-B apres Vercercice 3, A+A-BLA-B= (A+B) + (AFB) 9. Démontrer que toute fonction & tois variables F (A,B,C) est égale & F(A,B.C) =A-F(1,B,C)+4-F(0,B,0) Correction : A est une variable booléenne : les deux valeurs qu'elle peut prendre sont Q et | = siA=0, 0-F(1,B,C) +1-F(0,B,C) =F(0,B,C) = F(A,B.C): ~ iAH, 1-FULB,C) +0-F(0,B,C) = FI, B,C) =F(A,B.C). 10. Montrer que les lois de de Morgan s"étendent & un nombre quelconque de variables. Correetio (a) Ty-Ag Ay = Ay +A +--+, aver n > 2. La démonstration se fit par récurrence sur m (le nombre de variables}. n=2 c'est la loi de de Morgan « basique »; n>2 onutlise Vassociativité de + et Ava CA Aa) +A = (AL +ARt +A) +A A+ Int + Ay (b) Ky-FAa Ay = Ay -Ag-----Fy avec n> 2, Le raisonnement est similaire. 11. Génération et simplification d’expressions logiques CConsidérer Ia fonction définie par la table de vérté ci-dessous AB C[FABO) oo of oO oor 4 o1of 4 oritf oo roo} 1 ror} ot rio} 4 rit} io 3 ‘Seanne avee CamSeanner(a) Générer une expression logique correspondante ‘sous forme de sommes de produits: Correction : ABC+ABT+A-BC+AB-C+A-BT ii, sous forme de produits de sommes, Correction : BCtABC (A+B+C)-(A+B+O)-(A (b) Simplifier les deux expressions en utilisant les régles de I'algebre de Boole, Correction : (A4B40)(A4B40)- 44840) A-AVAB+AC+BAVB-E+BC+CAtCE+C OC) G+B+O) (A+A:B+A-C+A-B+A-C+B-C+B-C) (A+B+C) A+A-B-A+A-C-A+A-B-A+A-C-A+B-C-A+B-C-A+ ABLABBLAC-BLA-B-BLA-CB4B-C-B4B-CB+ ATLABTLA-CT+ABCLACTHB-CTHBECT BC+A-B+A-B-C+A-B-C+A-C+B-C+B-C (A-B)-(1+C+C)+B-C+ (A+1)-(B-C) B+B-C+B-C B+ (B@C) (©) Construire le diagramme de Kamaugh et déterminer une expression logique associée. Correction : Une table de Karnaugh se construit a partir de lexpression logique sous forme de somme de produits. Dans la somme de produits utilisée, chaque produit doit contenir routes les variables de Vexpression. Par exemple, on mettra une expression dépendant de A et B sous la forme d'une somme de produits de A, A, B, B. Pour mettre Vexpression sous la forme voulue, la formule (A+A)B = B est trés tile. ABC+A-BC+A-B-C+A-B-C+A-BC ‘Chaque colonne de la table de Karnaugh doit dijférer de ses voisines d'un et un seul littéral. Nous avons 3 variables et les tables de Karnaugh sont a 2 dimensions: il faut regrouper deux variables. Ici nous choi- sissons de regrouper B et C. On regroupe les 1 en morceau rectangulaires, selon les principes suivants. ~ faire les plus grands morceaux possibles, ‘Seanne avee CamSeanner~ faire le moins de morceaux possibles, = Te nombre de I dans un morceau doit étre une puissance de 2, = ne faire un nouveau morceau que s'il permet de regrouper des I qui n'ont pas encore été regroupés en se rappelant que la ligne du bas et la ligne du haut sont considérées comme adjacentes, et qu'il en est de méme pour la colone la plus a droite et la colonne la plus @ gauche. Wee ac | ac [we | we ‘Chaque morceau donne naissance a un produit de variables. Lorsqu’une variable et son inverse sora dans le méme morceau, cette variable s'élimine (parce que (A+A) = 1). BC+A-B+BC 12. Considérer les fonctions logiques suivantes. Pour chacune d'elles, ~ construire le diagramme de Karnaugh ; ~ utiliser le diagramme pour simplifir les expressions. @ AARC Correction : La table de Kamaugh est présente figure 1. SBC+A-BC+AB-C aX fac 2 Bc | 8c a fo A 1)| 0 olofolo a [olo |uj/o Fic. 1 ~Table de Kamaugh pour Fy(4,8,C) FG, 2~ Table de Kamaugh pour F3(A,B,C) Expression simplifiée : (A,B,C) = BHA-C. (b) BABO) =A-BC+A-B+A-B-C Correction : La table de Kamaugh est présente figure 2. Expression simplifée : F(A,B,C) =A-C+B-T © FAA.B,C) Correction : FARO) La table de Karnaugh est présentée figure 3. Expression simplifiée : (A,B,C) =B+A-C @ A(ABCD)=B-CD+A-BD+A-B-CD ‘Seanne avee CamSeannerBe. |cv |en [ea | 1 3 AB | oO [eS Fig, 3— Table de Karaugh pour F3(A,8,C) FiG. 4 Table de Kamaugh pour Fi(A,B,C,D}. Correction : F(A,B.C.D)=B-C-D+A-B-D+A-B-C-D =A-BTD+A-B-T-D+A-B: D+4-B-C-D+A-B-C-D La table de Karnaugh est préxentée figure 4 Expression simplifée : F,(A,B,C,D) = B-D © BABCD A+AB+A-BCHA BCD Correction : B(A,B,C,D) =A-B-C.D:+-A-B-C-D+A-B-C-D+A-B-C-D+A-B-C-D 4A-B-C-D+A-B-C-D+A-B-C-D+A-B-C-D+A-B-C-D 4A-BC-D+A-B-C-D+A-B-C-D+A-B-C-D+A-B-C-D La table de Karnagh est présentée figure Expression simple: F(A,B,C,D)= B+ A+C Bee co |eo\en| ci abe |cp \ep |en| co AB AB Tp] olo ae |olo|a}o ap | olo ap |o|o FG, 5 Table de Kamnaugh pour Fs(4,B,C,D). Fig, 6~ Table de Kamaugh pour Fo(A,B,C,D). +A-B-C-D+A-B-D+B-C-D+A-B-C-D S81 ‘Seanne avee CamSeannerLa table de Karnaugh est présentée figure 6. Expression simplifie : Fe(A,B,C,D) =A-D+A-B-D+B-D ‘Seanne avee CamSeanner