Architecture des ordinateurs Corrigé du TD 3 : Algèbre de Boole

Documents pareils
2.4 Représentation graphique, tableau de Karnaugh

Algèbre binaire et Circuits logiques ( )

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Architecture des ordinateurs TD1 - Portes logiques et premiers circuits

Système binaire. Algèbre booléenne

IFT1215 Introduction aux systèmes informatiques

AC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Cours Premier semestre

CORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!»

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

315 et 495 sont dans la table de 5. 5 est un diviseur commun. Leur PGCD n est pas 1. Il ne sont pas premiers entre eux

Fonctions homographiques

Arithmétique binaire. Chapitre. 5.1 Notions Bit Mot

Découverte du logiciel ordinateur TI-n spire / TI-n spire CAS

Factorisation Factoriser en utilisant un facteur commun Fiche méthode

III- Raisonnement par récurrence

avec des nombres entiers

Exercices Alternatifs. Une fonction continue mais dérivable nulle part

Exercices Alternatifs. Une fonction continue mais dérivable nulle part

Fonctions linéaires et affines. 1 Fonctions linéaires. 1.1 Vocabulaire. 1.2 Représentation graphique. 3eme

MPI Activité.10 : Logique binaire Portes logiques

La maison Ecole d ' Amortissement d un emprunt Classe de terminale ES. Ce qui est demandé. Les étapes du travail

Initiation à Excel. Frédéric Gava (MCF)

Conversion d un entier. Méthode par soustraction

Chapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

RESUME DE COURS ET CAHIER D'EXERCICES

EXCEL TUTORIEL 2012/2013

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

Tutoriel Sage One Edition Expert-Comptable. - Le cabinet d Expertise-Comptable doit appeler le Service Client Sage One au

Angles orientés et trigonométrie

Probabilités. Une urne contient 3 billes vertes et 5 billes rouges toutes indiscernables au toucher.

TD3: tableaux avancées, première classe et chaînes

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Chapitre 2 Le problème de l unicité des solutions

Le théorème de Thalès et sa réciproque

CHAPITRE VIII : Les circuits avec résistances ohmiques

Correction : E = Soit E = -1,6. F = 12 Soit F = y = 11. et G = -2z + 4y G = 2 6 = 3 G = G =

DOCM Solutions officielles = n 2 10.

Informatique Générale

Fonctions de plusieurs variables

Le langage SQL Rappels

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

Soit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.

Projet de Traitement du Signal Segmentation d images SAR

Correction de l examen de la première session

Déroulement. Evaluation. Préambule. Définition. Définition. Algorithmes et structures de données 28/09/2009

TEST PRATIQUE DU TEST DE LOGIQUE MATHEMATIQUE ET VERBAL

Master IMA - UMPC Paris 6 RDMM - Année Fiche de TP

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Intégration et probabilités TD1 Espaces mesurés Corrigé

Continuité et dérivabilité d une fonction

Limites finies en un point

FctsAffines.nb 1. Mathématiques, 1-ère année Edition Fonctions affines

Chapitre 4 : Le transistor Bipolaire

- Instrumentation numérique -

Dossier Logique câblée pneumatique

LES DÉTERMINANTS DE MATRICES

Choisir le mode d envoi souhaité. Option 1 : Envoyer un SMS à un nombre réduit de numéros (0 10 )

Concevoir son microprocesseur

Développements limités, équivalents et calculs de limites

Chapitre 2. Eléments pour comprendre un énoncé

CHAPITRE 1. Suites arithmetiques et géometriques. Rappel 1. On appelle suite réelle une application de

LA PHYSIQUE DES MATERIAUX. Chapitre 1 LES RESEAUX DIRECT ET RECIPROQUE

Géométrie dans l espace Produit scalaire et équations

La médiatrice d un segment

K W = [H 3 O + ] [OH - ] = = K a K b à 25 C. [H 3 O + ] = [OH - ] = 10-7 M Solution neutre. [H 3 O + ] > [OH - ] Solution acide

PROPORTIONNALITÉ LES ÉCHELLES. Dossier n 2 Juin Conçu et réalisé par : Marie-Christine LIEFOOGHE Bruno VANBAELINGHEM Annie VANDERSTRAELE

Exercices du Cours de la programmation linéaire donné par le Dr. Ali DERBALA

Programmation linéaire

EXCEL PERFECTIONNEMENT SERVICE INFORMATIQUE. Version /11/05

Chapitre 1 Régime transitoire dans les systèmes physiques

C f tracée ci- contre est la représentation graphique d une

Traitement bas-niveau

TRANSFOLIO version Introduction

Chapitre 2. Matrices

TP - Alarme de voiture / Approche fonctionnelle

Fiche PanaMaths Calculs avec les fonctions sous Xcas

TP Bases de données réparties

F411 - Courbes Paramétrées, Polaires

Déclarer un serveur MySQL dans l annuaire LDAP. Associer un utilisateur DiaClientSQL à son compte Windows (SSO)

Baccalauréat L spécialité, Métropole et Réunion, 19 juin 2009 Corrigé.

Calcul fonctionnel holomorphe dans les algèbres de Banach

CHAPITRE 10. Jacobien, changement de coordonnées.

BCI - TPSP - Processeurs et Architectures Numériques

6 ème. Rallye mathématique de la Sarthe 2013/ ère épreuve de qualification : Problèmes Jeudi 21 novembre 2013

Projet de traitement d'image - SI 381 reconstitution 3D d'intérieur à partir de photographies

Problèmes de dénombrement.

Simplifiez la gestion de vos comptes affaires

FONCTION COMPTAGE BINAIRE ET DIVISION DE FRÉQUENCE

1S Modèles de rédaction Enoncés

Déclarer un serveur MySQL dans l annuaire LDAP. Associer un utilisateur DiaClientSQL à son compte Windows (SSO)

VIII- Circuits séquentiels. Mémoires

Fête de la science Initiation au traitement des images

Direction de l'urbanisme. Foire Aux Questions. Service Urbanisme

BACCALAUREAT GENERAL MATHÉMATIQUES

Priorités de calcul :

Bien lire l énoncé 2 fois avant de continuer - Méthodes et/ou Explications Réponses. Antécédents d un nombre par une fonction

Théorie et codage de l information

Transcription:

rchitecture des ordinateurs Corrigé du TD 3 : lgèbre de Boole rnaud Giersch, Benoît Meister et Frédéric Vivien. Montrer comment l opérateur et peut être obtenu à partir des opérateurs ou et non. De même pour l opérateur ou avec les opérateurs et et non. non(a ou b) = (non a) et (non b) non((non a) ou (non b)) = a et b non(a et b) = (non a) ou (non b) non((non a) et (non b)) = a ou b 2. On note respectivement les opérateurs ou, et, xor et non par +,, et. Montrer à l aide de tables de vérité que B = B + B et que B = ( + B) ( + B) Tables de vérités : B B B B B B + B B B B + B + B ( + B) ( + B) 3. Montrer que + ( B) = + B et que ( + B) = B On utilise la distributivité de l opérateur ou sur l opérateur et, et inversement : 4. Déterminer le complément de l expression + B C + ( B) = ( + ).( + B) =.( + B) = + B ( + B) = ( ) + ( B) = + ( B) = B On utilise les lois de de Morgan ; l opérateur et est prioritaire : + B C = B C = (B +C) = B + C 5. Montrer que les deux règles d associativité sont duales, i.e. montrer qu à partir de la règle d associativité de l opérateur ou, on peut déduire, en utilisant les lois de de Morgan, l associativité de l opérateur et (et inversement). + (B +C) = ( + B) +C + (B +C) = ( + B) +C (B C) = ( B) C, B, et C sont des variables muettes. Par changement de variable {( ),(B B ),(C )C } on obtient la propriété d associativité du ou : (B C ) = ( B ) C

6. Écrire l expression B uniquement avec les opérateurs ou, et et non D après 2. : B = B + B B = B + B B = ( + B) ( + B) 7. Montrer que la fonction nor forme un groupe logique complet. Pour cela, on montre que la fonction nor permet d exprimer tous les opérateurs logiques : non : nor(,) = et : nor(nor(,),nor(b,b)) = nor(,b) = + B = B ou : nor(nor(,b),nor(,b)) = nor(,b) = ( + B) = ( + B). 8. Simplifier au maximum les expressions logiques suivantes. (a) B + B (b) ( + B) ( + B) B + B = ( + ) B = B = B ( + B) ( + B) = + B B = + = (c) + B + B = + B = ( + B) = = (d) ( + B) ( + B) = ( + ) ( + B) = + B = + = (e) B + + B +C + D B + + B +C + D = ( + B) ( + B +C + D) = ( + B) (( + B) + (C + D)) donc, d après l exercice 8d, = + B (f) + B C + (B C) ( D + B) + B C + (B C) ( D + B) = ( + B C) + ( + B C) ( D + B) d après l exercice 3, + B C + (B C) ( D + B) = ( + B C) + ( D + B) = ( + D) + (B + B C) d après l exercice 8c, + B C + (B C) ( D + B) = + B (g) ( B) B + B 2

d après l exercice 2, ( B) B + B = ( B + B) B + B = B + B B + B = B + B d après l exercice 8a, = B (h) + B + B d après l excercice 3, + B + B = ( + B) + B + B + B = ( + B) + ( + B) = 9. Démontrer que toute fonction à trois variables F(,B,C) est égale à F(,B,C) = F(,B,C) + F(,B,C) est une variable booléenne : les deux valeurs qu elle peut prendre sont et : si =, F(,B,C) + F(,B,C) = F(,B,C) = F(,B,C) ; si =, F(,B,C) + F(,B,C) = F(,B,C) = F(,B,C).. Montrer que les lois de de Morgan s étendent à un nombre quelconque de variables. (a) 2 n = + 2 + + n avec n 2. La démonstration se fait par récurrence sur n (le nombre de variables). n = 2 c est la loi de de Morgan «basique» ; n > 2 on utilise l associativité de + et : 2 n = ( 2 n ) n = ( 2 n ) + n = ( + 2 + + n ) + n = + 2 + + n + n (b) + 2 + + n = 2 n avec n 2. Le raisonnement est similaire.. Génération et simplification d expressions logiques Considérer la fonction définie par la table de vérité ci-dessous : B C F(, B,C) 3

(a) Générer une expression logique correspondante : i. sous forme de sommes de produits ; ii. sous forme de produits de sommes. B C + B C + B C + B C + B C B C + B C + B C = ( + B +C) ( + B +C) ( + B +C) (b) Simplifier les deux expressions en utilisant les règles de l algèbre de Boole. i. ii. B C + B C + B C + B C + B C = B C + ( + ) B C + B (C +C) = B C + B C + B = ( + C) B + B C = ( +C) B + B C = B + B C + B C = B + (B C) ( + B +C) ( + B +C) ( + B +C) = ( + B + C + B + B B + B C +C +C B +C C) ( + B +C) = ( + B + C + B + C + B C + B C) ( + B +C) = + B + C + B + C + B C + B C + B + B B + C B + B B + C B + B C B + B C B + C + B C + C C + B C + C C + B C C + B C C = B C + B + B C + B C + C + B C + B C = ( B) ( +C +C) + B C + ( + ) (B C) = B + B C + B C = B + (B C) (c) Construire le diagramme de Karnaugh et déterminer une expression logique associée. Une table de Karnaugh se construit à partir de l expression logique sous forme de somme de produits. Dans la somme de produits utilisée, chaque produit doit contenir toutes les variables de l expression. Par exemple, on mettra une expression dépendant de et B sous la forme d une somme de produits de,, B, B. Pour mettre l expression sous la forme voulue, la formule ( + )B = B est très utile. B C + B C + B C + B C + B C Chaque colonne de la table de Karnaugh doit différer de ses voisines d un et un seul littéral. Nous avons 3 variables et les tables de Karnaugh sont à 2 dimensions : il faut regrouper deux variables. Ici nous choisissons de regrouper B et C. On regroupe les en morceaux rectangulaires, selon les principes suivants : faire les plus grands morceaux possibles, 4

faire le moins de morceaux possibles, le nombre de dans un morceau doit être une puissance de 2, ne faire un nouveau morceau que s il permet de regrouper des 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 colonne la plus à droite et la colonne la plus à gauche. Chaque morceau donne naissance à un produit de variables. Lorsqu une variable et son inverse sont dans le même morceau, cette variable s élimine (parce que ( + ) = ). B C + B + B C 2. Considérer les fonctions logiques suivantes. Pour chacune d elles, construire le diagramme de Karnaugh ; utiliser le diagramme pour simplifier les expressions. (a) F (,B,C) = B C + B C + B C La table de Karnaugh est présentée figure. FIG. Table de Karnaugh pour F (,B,C). FIG. 2 Table de Karnaugh pour F 2 (,B,C). Expression simplifiée : F (,B,C) = B + C. (b) F 2 (,B,C) = B C + B + B C La table de Karnaugh est présentée figure 2. Expression simplifiée : F 2 (,B,C) = C + B C (c) F 3 (,B,C) = B + B C + B C + B C F 3 (,B,C) = B + B C + B C + B C La table de Karnaugh est présentée figure 3. Expression simplifiée : F 3 (,B,C) = B + C (d) F 4 (,B,C,D) = B C D + B D + B C D = B C + B C + B C + B C + B C + B C 5

CD FIG. 3 Table de Karnaugh pour F 3 (,B,C). FIG. 4 Table de Karnaugh pour F 4 (,B,C,D). F 4 (,B,C,D) = B C D + B D + B C D La table de Karnaugh est présentée figure 4. Expression simplifiée : F 4 (,B,C,D) = B D (e) F 5 (,B,C,D) = + B + B C + B C D = B C D + B C D + B C D + B C D + B C D F 5 (,B,C,D) = B C D + B C D + B C D + B C D + B C D La table de Karnaugh est présentée figure 5. Expression simplifiée : F 5 (,B,C,D) = B + +C + B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D CD CD FIG. 5 Table de Karnaugh pour F 5 (,B,C,D). FIG. 6 Table de Karnaugh pour F 6 (,B,C,D). (f) F 6 (,B,C,D) = B D + C D + B C D + B D + B C D + B C D F 6 (,B,C,D) = B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D + B C D 6

La table de Karnaugh est présentée figure 6. Expression simplifiée : F 6 (,B,C,D) = D + B D + B D 7