Introduction à la minimisation logique

Slides:



Advertisements
Présentations similaires
Tables de Karnaugh Table de vérité : Table de Karnaugh
Advertisements

« 1.7. Fonction mémoire et différents types de logiques »
Les formats Stage – Semaine 4.
Acquisition automatique de «morphèmes acoustiques» pour la compréhension langagière en collaboration avec Allen Gorin Giuseppe Riccardi Jerry Wright.
MIRIPHYQUE : Résultats 2010
Le microscope : tracé de l'image
PRESENTACION POR: VICENTE MARQUEZ FECHA: 09/11/2012.
Journées Francophones
Les circuits de mémoire
Logique séquentielle Plan Système combinatoire Système séquentiel
Page : 1 / 8 Conduite de projet Examen du 3 juin 1988 Durée : 4 heures Le support de cours est toléré La notation tiendra compte très significativement.
Page : 1 / 6 Conduite de projet Examen du 6 mai 1999 Durée : 4 heures Le support de cours est toléré La notation tiendra compte très significativement.
Page : 1 / 5 Conduite de projet Examen du 22 mai 1997 Durée : 4 heures Le support de cours est toléré La notation tiendra compte très significativement.
MONTAGE D’USINAGE - MAP
Architecture des Ordinateurs
Fonctions Booléennes.
Contrôle de niveau d’un réservoir
Introduction à la logique
Tests et Validation du logiciel
Fonctions Booléennes primaires
La notation en complément à 2
ALGEBRE DE BOOLE Mohamed Yassine Haouam
Introduction à la logique

Commande séquentielle d’un moteur
TP math-G-101.
TRAVAIL 3 : PRODUCTION MULTIMÉDIA
Logique Combinatoire Fonction OUI Fonction NON Fonction ET Fonction OU
Algèbre de Boole et les Boucles
La biopoubelle.
Révisions Logique combinatoire
Saint-Roch de l’Achigan
Sections sélectionnées du Chapitre 11
Addition vectorielle de vecteurs
Analogique-numérique
LA CINETIQUE LOGIQUE Les gènes Hox. 1.Propriétés des gènes Hox 2.Réduction du modèle 3.Construction du modèle –Conventions –Modèle descriptif –Système.
Cours #7 Vérification d’un modèle VHDL
Les bases des probabilités
Annexe A: Numérotation binaire
ERM TEST RESSORT LESEIGNEUR Matthis AUGUSTIN Jean-Daniel.
Fonction logique OUI a S 1 a S 1 a S S = a La sortie est toujours
Plan Formalismes • Algèbre de Boole • Tables de vérité
Page: 1-Ali Walid Gestion de fichiers. Hashing Dynamique et Extensible.

Approche 1 mois 2 mois 3 mois 4 mois 5 mois. Approche 1 mois 2 mois 3 mois 4 mois 5 mois.
Système d’exploitation : Assembleur
Équations Logiques État Physique État Électrique État Logique L
SIMPLIFICATION DES EQUATIONS LOGIQUES
MEMO pour l’UV – 1 er Dan. Affichage de l’ordinateur ou du tableau électronique : -IPPON 100 -WAZA-ARI 010 -YUKO 001 -SHIDO
Codage de l’information
Décodeurs et encodeurs : sujets de ce thème
Expressions logiques Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI)
Controlled and secure direct communication using GHZ state and teleportation – Ting Gao Estelle GILET M2R III 21/03/06.
Plan de la présentation
TP math-G-101.
31/01/06 14:01 Yannick Herve, Wilfried Uhring, Jihad Zallat 1 Électronique Numérique Chapitre 1 Algèbre binaire Écriture et simplification des fonctions.
Chapitre 3 :Algèbre de Boole
Algèbre de Boole Définition des variables et fonctions logiques
Les réseaux logiques programmables
Procédures et fonctions Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI)
Le formalisme utilisé pour Lexical Functional Grammar Lionel Clément Signes - Labri Mosaïque 1er décembre 2006.
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Vérification de circuits.
MATHÉMATIQUES DISCRÈTES Chapitre 9
Les booléens Notions et fonctions.
Rappel - analyse et synthèse de fonctions combinatoires
LES TABLEAUX DE KARNAUGH
(a)(b) (a) (d).
Introduction à la minimisation logique
A b c. a b ab ab.
Transcription de la présentation:

Introduction à la minimisation logique Les équations Le tableau de Karnaugh

Objectif Apprendre des techniques simples pour minimiser une équation logique.

Les fonctions logiques : simplification Table de vérité a b f 0 0 f1 0 1 f2 1 0 f3 1 1 f4 f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

Les fonctions logiques : simplification Table de vérité a b f 0 0 1 0 1 1 1 0 0 1 1 0 Comment simplifier plus rapidement ? f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab f=a/b/ + a/b f=a/

Les fonctions logiques : simplification Table de vérité Tableau de karnaugh a 0 1 0 f1 f3 1 f2 f4 a b f 0 0 f1 0 1 f2 1 0 f3 1 1 f4 b f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

Les fonctions logiques : simplification Table de vérité Tableau de karnaugh a 0 1 0 1 0 1 1 0 a b f 0 0 1 0 1 1 1 0 0 1 1 0 b f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab f=a/b/ + a/b f=a/

Les fonctions logiques : simplification 0 1 0 1 0 1 1 0 a b f 0 0 1 0 1 1 1 0 0 1 1 0 b f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab f=a/b/ + a/b f=a/

Les fonctions logiques : simplification a ne change pas de valeur a 0 1 0 1 0 1 1 0 a b f 0 0 1 0 1 1 1 0 0 1 1 0 b b change de valeur f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab f=a/b/ + a/b f=a/

Les fonctions logiques : simplification 0 1 0 1 0 1 1 0 a b f 0 0 1 0 1 1 1 0 0 1 1 0 b f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab f=a/b/ + a/b f=a/ f=a/

Les fonctions logiques : simplification a b c f 0 0 0 f1 0 0 1 f2 0 1 0 f3 0 1 1 f4 1 0 0 f5 1 0 1 f6 1 1 0 f7 1 1 1 f8 00 01 11 10 0 f1 f3 f7 f5 1 f2 f4 f8 f6 ab c

Les fonctions logiques : simplification Faire la plus grosse patate possible a b c f 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 1 0 0 1 1 1 0 0 ab c

Les fonctions logiques : simplification Faire la plus grosse patate possible a b c f 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 1 0 0 1 1 1 0 0 ab c

Les fonctions logiques : simplification Faire la plus grose patate possible a b c f 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 1 0 0 1 1 1 0 0 ab c

Les fonctions logiques : simplification Faire la plus grose patate possible a b c f 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 1 0 0 1 1 1 0 0 ab c f=a/

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c a/b/

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c =a/c

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c b/c/

Les fonctions logiques : simplification a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c f=a/b/+c/b/+a/c

Les fonctions logiques : simplification Nombre minimum de patates a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c f=a/b/+c/b/+a/c

Les fonctions logiques : simplification Nombre minimum de patates a b c f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 00 01 11 10 0 1 0 0 1 1 1 1 0 0 ab c f=c/b/+ca/