Chapitre 3 : L algèbre de Boole. Exemple : A, B, C trois variables logiques



Documents pareils
Algèbre binaire et Circuits logiques ( )

2.4 Représentation graphique, tableau de Karnaugh

IFT1215 Introduction aux systèmes informatiques

Système binaire. Algèbre booléenne

Cours Premier semestre

Architecture des ordinateurs TD1 - Portes logiques et premiers circuits

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

Les portes logiques. Voici les symboles des trois fonctions de base. Portes AND. Portes OR. Porte NOT

MPI Activité.10 : Logique binaire Portes logiques

Vecteurs. I Translation. 1. Définition :

BCI - TPSP - Processeurs et Architectures Numériques

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.

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE

Les fonctions logiques

Exercice 6 Associer chaque expression de gauche à sa forme réduite (à droite) :

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Activités numériques [13 Points]

TP - Alarme de voiture / Approche fonctionnelle

Concevoir son microprocesseur

Introduction au maillage pour le calcul scientifique

DEFI MATHS EXPRESS n 2. DEFI MATHS EXPRESS n 1. Le compte est bon : Suite de nombres : ?

Tarif MediaSpecs plate-forme Valable à partir du 01/01/2015

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 =

Nombre dérivé et tangente

- Instrumentation numérique -

3L8PW = EP - 308A 6L24P = EP -624A

Les droites (d 1 ) et (d 2 ) sont sécantes en A Le point A est le point d intersection des 2 droites

Arithmétique binaire. Chapitre. 5.1 Notions Bit Mot

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

Géométrie dans l espace

Programmation linéaire

Calcul différentiel sur R n Première partie

CHAPITRE VIII : Les circuits avec résistances ohmiques

FORMATS DE JEU POUR LA PRATIQUE DU SOCCER AU QUÉBEC FÉDÉRATION DE SOCCER DU QUÉBEC

1 Introduction au codage

Axiomatique de N, construction de Z

RESUME DE COURS ET CAHIER D'EXERCICES

CHAPITRE 2 SYSTEMES D INEQUATIONS A DEUX INCONNUES

FONCTION COMPTAGE BINAIRE ET DIVISION DE FRÉQUENCE

Cours d Analyse. Fonctions de plusieurs variables

Probabilités sur un univers fini

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

Architecture : Circuits numériques et éléments d architecture

Quelques contrôle de Première S

Partie théorique (20 points) :

Long Parcours 86 KM Avant la halte Étape Km obstacle Direction Rue, Boulevard, Route. Urgence Sûreté du Québec: Ste-Anne téléphone

LA FICHE TECHNIQUE Comment établir une fiche technique à la fois concise et précise. Document à l'usage des régisseurs.

Développer, factoriser pour résoudre

TP 2 Réseaux. Adresses IP, routage et sous-réseaux

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements

Deux disques dans un carré

Représentation d un entier en base b

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

Info0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java

COMPTES DE GROUPE Consolidation et présentation de participations

Système d'impression multifonction numérique couleur grand format RICOH. Copieur Imprimante Scanner RICOH MP CW2200SP. N&B 3,4 ppm Couleur 1,1 ppm

Relais statiques SOLITRON, 1 ou 2 pôles Avec dissipateur intégré

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

Consortium de recherche Value Stream Mapping Formation

USTL - Licence ST-A 1ère année Codage de l information TP 1 :

Routeur Gigabit WiFi AC 1200 Dual Band

WIFI-DMX INTERFACE AUTONOME V 1.5.0

Note de cours. Introduction à Excel 2007

Série 77 - Relais statiques modulaires 5A. Caractéristiques. Relais temporisés et relais de contrôle

Systemesdigitaux. Cours 5

Premiers exercices d Algèbre. Anne-Marie Simon

DUPLICATEUR DE DISQUE DUR D INTEGRAL GUIDE DE DEMARRAGE RAPIDE

T500 DUAlTACH. JAQUET T500 DualTach Instrument de mesure et de surveillance équipé de 2 entrées fréquence TACHYMETRE 2 CANAUX

bureaux 0/1/2/3/4/5/6

FORMULAIRE DE STATISTIQUES

... /5. Bases de Données I (J. Wijsen) 23 janvier 2009 NOM + PRENOM : Orientation + Année : Cet examen contient 11 questions.

Le passage de l'embedded Value à l'economic Value

Planche n o 22. Fonctions de plusieurs variables. Corrigé

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

Numbers sur ipad. Atelier Formation Numbers sur ipad. [Notes extraitres de l'aide en ligne]

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours.

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

VIII- Circuits séquentiels. Mémoires

MICROINFORMATIQUE NOTE D APPLICATION 1 (REV. 2011) ARITHMETIQUE EN ASSEMBLEUR ET EN C

DÉRIVÉES. I Nombre dérivé - Tangente. Exercice 01 (voir réponses et correction) ( voir animation )

Architecture des ordinateurs Introduction à l informatique

Eteindre. les. lumières MATH EN JEAN Mme BACHOC. Elèves de seconde, première et terminale scientifiques :

Limites finies en un point

LOGO. Module «Big Data» Extraction de Connaissances à partir de Données. Claudia MARINICA MCF, ETIS UCP/ENSEA/CNRS

Sync SHL version 8.15

Maison unifamiliale : Définition

CH IV) Courant alternatif Oscilloscope.

Dérivation : Résumé de cours et méthodes

IMPORTANT Avant de commencer

1 Systèmes triphasés symétriques

Propriétés des options sur actions

Les Angles. I) Angles complémentaires, angles supplémentaires. 1) Angles complémentaires. 2 Angles supplémentaires. a) Définition.

Priorités de calcul :

CHAPITRE IV. L axiome du choix

FORMULAIRE 9. AVIS D ÉMISSION PROPOSÉE DE TITRES INSCRITS (ou titres convertibles ou échangeables en titres inscrits) 1

Westermo i-line MRI-128-F4G / MRI-128-F4G/DC

LA MOBILITÉ AUTREMENT: «TOTO TROQUE TON AUTO CONTRE LE VÉLO»

5 ème Chapitre 4 Triangles

Exercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument

Transcription:

1. Définition Pour réaliser un circuit électronique on doit avoir un modèle mathématique. L'algèbre de oole (Georges oole 1815-1864) est une algèbre permettant de traduire les signaux électriques en expressions mathématiques en utilisant des variables logiques (Vrai/faux). 2. Notions Théoriques Une algèbre de oole est constituée de : 1. Un ensemble E 2. Deux éléments de E : 0 et 1 (Faux/ Vrai) 3. Deux opérations binaires sur E : + ( ET / OU logiques) 4. Une opération unaire sur E : (la négation logique). 2.1 Variable Logique (booléenne) La variable logique est une variable ayant deux états possibles 0 ou 1 2.2 Fonction Logique Une fonction logique est le résultat de la combinaison d'une ou de plusieurs variables logiques reliées entre elles par des opérations (et/ou/non). Exemple : A,, C trois variables logiques F ( A, ) = A. F ( A, ) = A + F( A,, C) = A.. C + A.. C + A.. C 2.3 Théorèmes principe de dualité : Chaque axiome et chaque postulat possède un équivalent dual, où les éléments 0 sont remplacés par des 1, les 1 par des 0, les ( ) par des ( + ) et vice et versa Associativité (A+)+C= A+(+C)=A++C (A.).C=A.(.C)=A..C Commutativité A+=+A A.=.A Distributivité A.(+C)= A. + A.C A+(.C)=(A+).(A+C) Elément neutre A+0=A A.1=A Elément absorbant A.0=0 A+1=1 Complémentation A + A = 1 A. A = 0 Involution A = A Idempotence A+A+A+.+A = A A.A.A A=A Absorption A+A.=A A.(A+)=A Simplification A + A. = A + A.( A + ) = A. Lois de Morgan A. = A + A + = A. 13

Remarque : Le théorème de Morgan peut être généralisé pour N variables A.. C... = A + + C +... A + + C +... = A.. C... 3. Représentation Des Fonctions ooléennes 3.1 La table de vérité Une TV est un tableau qui décrit toutes les possibilités de sorties en fonction des entrées. Pour N variables, la table génère 2 n lignes Exemple : Table de vérité du OR / AND / NOT logique A F(A,) 0 0 0 0 1 0 1 0 0 1 1 1 A F(A,) 0 0 0 0 1 1 1 0 1 1 1 1 A F(A) 0 1 1 0 AND OR NOT Remarques : - Deux fonctions sont équivalentes si elles possèdent la même table de vérité - On peut utiliser la table de vérité pour démontrer les théorèmes précédents Exemple : démontrer l égalité suivante 3.2-Représent Représentation algébrique A+A.=A La fonction est représentée à partir des noms des variables et des opérateurs de l algèbre de oole Exemple : f ( A, ) = A + A + A La Forme canonique La forme canonique d une fonction est la forme ou chaque terme de la fonction comporte toutes les variables. ** Forme Canonique Disjonctive (FCD) Un minterme de N variables est un produit de ces N variables ou de leurs complémentaires Exemple : Soit a,b,c et d 4 variables booléennes ACD, ACD, AC D... sont des mintermes La forme canonique disjonctive (FCD FCD) est la somme des mintermes pour lesquels la fonction vaut 1, cette forme est la plus utilisée. F(A,,C) = AC + AC + AC 14

** Forme Canonique Conjonctive (FCC) Un maxterme de N variables est une somme de ces N variables ou de leurs complémentaires Exemple : Soit a,b,c,d 4 variables booléennes A + + C + D, A + + C + D, A + + C + D... sont des maxtermes. La forme canonique conjonctive (FCC FCC) est le produit des maxtermes pour lesquels la fonction vaut 0 Exemple : Soit F la fonction définie par la table de vérité ci-dessous. Donner la FCD, FCC? FCD : FCC : F ( A,, C ) = A.. C + A.. C + A.. C + A.. C F(A,,C) = ( A + + C) (A + + C)(A + + C) (A + + C) Remarques : La FCD et La FCC sont équivalentes la forme d une fonction où les termes ne contiennent pas toutes les variables est appelée forme normale 3.3 La Forme Numérique C est la correspondance binaire décimale F= (3,5,6,7) = A.. C + A.. C + A.. C + A.. C F = (0,1,2,4) = ( A + + C) (A + + C)(A + + C) (A + + C) 4. Simplification des fonctions booléennes L objectif de la simplification des fonctions logiques est de : - Réduire le nombre de termes dans une fonction - Obtenir un circuit plus petit et plus rapide 15

4.1 Simplification algébrique Le principe consiste à appliquer les règles de l algèbre de oole afin d éliminer des variables ou des termes Exemple 1) F(A,,C) = A. +.C +.C = A. Remarque : Il est préférable de simplifier la forme canonique ayant le nombre de termes minimum Exemple : simplifiez la fonctions suivante F(A,,C)= (2,3,4,5,6,7) Autres opérateurs : Ou exclusif (XOR) F ( A, ) = A = A. + A. A A 0 0 0 0 1 1 1 0 1 1 1 0 Non Ou exclusif (XNOR) F ( A, ) = A = A. + A. A A 0 0 1 0 1 0 1 0 0 1 1 1 4.2 Table de Karnaugh En examinant la méthode de simplification algébrique on remarque que cette dernière devient très difficile si le nombre des variables et grand. La méthode de Karnaugh est une technique de simplification rapide Principe d adjacence Examinons l expression suivante : A. + A. Les deux termes possèdent les mêmes variables. La seule différence est l état de la variable qui change Ces termes sont adjacents A. + A. = A..C + A..C = A.C A..C.D + A..C.D = A..D Ces termes ne sont pas adjacents Ces termes ne sont pas adjacents A. + A. A..C + A..C A..C.D + A..C.D 16

Principe de la méthode - C est un tableau de 2 n cases, N étant le nombre de variables. - La méthode peut s appliquer aux fonctions logiques de 2,3,4,5 et 6 variables. - Pour chaque min terme (TV) lui correspond une case égale 1 - Pour chaque max terme (TV) lui correspond une case égale à 0 Simplification - Essayer de regrouper les cases adjacentes qui comportent des 1 - Essayer de faire des regroupements avec le maximum de cases ( 16,8,4,2,1) - On s arrête lorsqu il y a plus de 1 en dehors des regroupements - On élimine les variables qui changent d états - La fonction finale est égale à la somme des termes dont l état des variables ne change pas à l intérieur d un regroupement. - une ou plusieurs cases peuvent être communes à plusieurs regroupements Remarques: - On peut appliquer la méthode de Karnaugh sur des Maxterms - Avec la méthode de Karnaugh on essaye de faire le minimum des regroupements qui contient le maximum des cases - les cases des coins sont des cases adjacentes - Au-delà de 6 variables, la méthode de Karnaugh n'étant plus valable, on utilise la méthode de Mac Cluskey 17

Exemple : 18