Plan. Définition. Introduction. Fonctions logiques (ET, OU, NON) Règles de l Alg. Algèbre de Boole. orème de De Morgan



Documents pareils
Algèbre binaire et Circuits logiques ( )

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

IFT1215 Introduction aux systèmes informatiques

Système binaire. Algèbre booléenne

2.4 Représentation graphique, tableau de Karnaugh

MPI Activité.10 : Logique binaire Portes logiques

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

Architecture des ordinateurs TD1 - Portes logiques et premiers circuits

Electronique Numérique

RESUME DE COURS ET CAHIER D'EXERCICES

BCI - TPSP - Processeurs et Architectures Numériques

Programmation linéaire

- Instrumentation numérique -

TP - Alarme de voiture / Approche fonctionnelle

CHAPITRE VIII : Les circuits avec résistances ohmiques

Cours Premier semestre

STI2D Logique binaire SIN. L' Algèbre de BOOLE

Introduction à l étude des Corps Finis

Dossier Logique câblée pneumatique

Arithmétique binaire. Chapitre. 5.1 Notions Bit Mot

CHAPITRE VI ALEAS. 6.1.Généralités.

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

Unitecnic 2200 Unitecnic 2200 CS

Système de contrôle du trafic d une ligne de métro Dossier de tests

POUR ALLER UN PEU PLUS LOIN SUR UN TABLEUR. Version EXCEL

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.

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Unitecnic 2210 Unitecnic 2210 CS

Les fonctions logiques

Fonctions de plusieurs variables

Prêt(e) pour le CE1. Tu es maintenant au CE1. Avant de commencer les leçons, nous allons réviser avec toi!

Cours d électricité. Circuits électriques en courant constant. Mathieu Bardoux. 1 re année

CH.6 Propriétés des langages non contextuels

ELEMENTS DE BUREAUTIQUE

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

ELP 304 : Électronique Numérique. Cours 1 Introduction

Le transistor bipolaire

ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.

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

1 Introduction et installation

Patentamt JEuropaisches. European Patent Office Numéro de publication: Office européen des brevets DEMANDE DE BREVET EUROPEEN

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

VIII- Circuits séquentiels. Mémoires

Architecture matérielle des systèmes informatiques

Livret - 1. Informatique : le matériel. --- Ordinateur, circuits, codage, système, réseau. Cours informatique programmation.

Mini_guide_Isis_v6.doc le 10/02/2005 Page 1/15

COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE

Carl-Louis-Ferdinand von Lindemann ( )

Factorisation Factoriser en utilisant un facteur commun Fiche méthode

Réalisabilité et extraction de programmes

LES CARACTERISTIQUES DES SUPPORTS DE TRANSMISSION

Analyse des Systèmes Asservis

Sites web éducatifs et ressources en mathématiques

La conversion de données : Convertisseur Analogique Numérique (CAN) Convertisseur Numérique Analogique (CNA)

Etudier l influence de différents paramètres sur un phénomène physique Communiquer et argumenter en utilisant un vocabulaire scientifique adapté

modélisation solide et dessin technique

Problèmes sur le chapitre 5

Théorie et codage de l information

Bases de Données. Plan

Concevoir son microprocesseur

MATHÉMATIQUES. Les préalables pour l algèbre MAT-P020-1 DÉFINITION DU DOMAINE D EXAMEN

1.1 L EXPLORATEUR WINDOWS

Hibernate vs. le Cloud Computing

Conversion d un entier. Méthode par soustraction

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique

AIDE à l utilisation du cédérom «L athlétisme à l école» Niveau Primaire SOMMAIRE

Catalogue - Formation en «électropneumatique et systèmes automatisés process control system»

GPA770 Microélectronique appliquée Exercices série A

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

EVOLUTION DE LA COCCINELLE

REALISATION D UNE CALCULATRICE GRACE AU LOGICIEL CROCODILE CLIPS 3.

- Le Diagramme de Gantt. - Le Diagramme de Pert - La Méthode QQCQCCP - La Méthode MOSI - Cahier des charges fonctionnel

EQUINIX CUSTOMER PORTAL VERSION 3.1 AMÉLIORATIONS FONCTIONNELLES POUR LA RÉGION AMÉRIQUE

Architecte Logiciel. Unité de formation 1 : Développer en s appuyant sur les modèles et les frameworks 7 semaines

1 Systèmes triphasés symétriques

Utiliser Access ou Excel pour gérer vos données

Organisation des Ordinateurs

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane

TABLE DES MATIÈRES 1. DÉMARRER ISIS 2 2. SAISIE D UN SCHÉMA 3 & ' " ( ) '*+ ", ##) # " -. /0 " 1 2 " 3. SIMULATION 7 " - 4.

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

Le passage à la plaque d immatriculation de format européen.

Les problèmes de la finale du 21éme RMT

OPÉRATIONS SUR LES FRACTIONS

Génie Industriel et Maintenance

Chapitre 9 : Applications des lois de Newton et Kepler à l'étude du mouvement des planètes et des satellites

STATIQUE GRAPHIQUE ET STATIQUE ANALYTIQUE

CIRCUITS DE PUISSANCE PNEUMATIQUES

Cabri et le programme de géométrie au secondaire au Québec

FONCTION COMPTAGE BINAIRE ET DIVISION DE FRÉQUENCE

Fermat Science [DOSSIER PEDAGOGIQUE] Dossier à destination des enseignants

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET

Série D65/D75/D72 Afficheurs digitaux modulaires

3 ÉLÉMENTS forment un LABoratoire.

Plan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml

Championnat de France de Grilles Logiques Finale 7 juin Livret d'instructions

Remplacement de composants de régulateurs RETROFIT

Transcription:

Plan Définition Introduction onctions logiques (ET, OU, NON) Règles de l lg l lgèbre de oole Théor orème de De Morgan Simplification des fonctions logiques

Définition Définit en 847 par Georges oole (85-864), physicien nglais lgèbre applicable au raisonnement logique qui traite des fonctions à variables binaires (deux valeurs). Ne s'applique pas aux systèmes à plus de deux états d'équilibre. Permet d'étudier les circuits logiques (un système logique sert à modifier des signaux). INTRODUCTION L alg algèbre de oole permet de manipuler des valeurs logiques Une valeur logique n a n que deux états possibles : Vraie() ou ausse(). Plusieurs valeurs logiques peuvent être combinées pour donner un résultat r qui est lui aussi une valeur logique Exemple : Vrai faux Ouvert fermé vant arrière re 2

Introduction La manipulation des valeurs logiques repose sur 3 fonctions (ou opérateurs) logiques de base: ET, OU, NON et ; ou ; non La variable logique est une grandeur qui peut prendre 2 valeurs qui sont repérées habituellement ou. Se note par une lettre comme en algèbre Toutes les fonctions logiques sont formées des 3 fonctions de base onction logique Résultat de la combinaison (logique combinatoire) d'une ou plusieurs variables logiques reliées entre elles par des opérations logique de base : la valeur résultante (O ou ) de cette fonction dépend de la valeur des variables logiques. Une fonction logique possède une ou des variables logiques d'entrée et une variable logique de sortie. Cette fonction logique se note par une lettre comme en algèbre. Exemple = ( et ) ou C et (non D) 3

onctions Logiques Les fonctions logiques peuvent être représentées par des Tables de vérit v rités La table de vérité permet la connaissance de la sortie (d un circuit logique) en fonction des diverses combinaisons des valeurs des entrées Le nombre de colonnes est le nombre total d'entrées es et de sorties Pour "N" entrées, es, le nombre de lignes nécessaire n est d ordre 2 N Exemple: Une fonction de 3 entrées et sortie se représente par une table de 4 colonnes et 8 lignes Table de vérit rité (exemples) 3 entrées et sortie 4colonnes et 8 lignes C Résultat C C C C C C C C 4

onction logique ET (ND) Représentation: = * ou ou Table de vérité Entrée Sortie Symbole graphique Représentation: = + onction logique OU (OR) Table de vérité Entrée Sortie Symbole graphique 5

onction logique NON (NOT) Représentation: = Table de vérité Entrée Sortie Symbole graphique Règles (ou propriétés) de l algèbre de oole 6

Théorème de De Morgan +=..=+ Vérification : Vérification : +.. + Equivalent Equivalent Simplification des fonctions logiques Pourquoi? Utiliser le moins de composants possibles Simplifier au maximum le schéma de câblage Deux méthodes Il faut donc trouver la forme minimale de l expression logique considérée lgébrique (en utilisant des propriétés et des théorèmes) Graphique (tableaux de Karnaught;...) 7

Exemple S=..C +..(.C) Transformation S=..C +..(+C) =..C +..+..C =..C +.+..C Variables communes S=. +.C.(+) =. +.C =.(+C) Exercice Simplifier les expressions suivantes :.+. (+).(+).+ + 8

Correction.+.=(+).=.= (+).(+)=.+.+.+.=.+..+ + =..(+)=(+).(+)=.+. Exercice 2 Prouver les théorèmes d absorption :.( + ) = +. = +.(+ )=.. +.C +.C =. +.C 9

Correction.(+) =.+.=+.=.(+)= +. = + car : +=(+).(+)=+.+.=.(+)+.=+..(+ )=. car :.(+ )=.+.=.. +.C +.C =. +.C car :. +.C +.C=. +.C +.C.(+)=.+.C+..C+..C=..(+C)+.C.(+)=.+.C onction logique NON-ET (NND) Représentation: = * Table de vérité Entrée Sortie Symbole graphique

onction logique NON-OU (NOR) Représentation: = + Table de vérité Entrée Sortie Symbole graphique onction OU-EXCLUSI (XOR) Représentation: = /*+*/ Table de vérité Entrée Sortie /* */ Symbole graphique

onction NON OU-EXCLUSI (XNOR) Représentation: = /*/+* Table de vérité Entrée Sortie /*/ * Symbole graphique Table de Karnaugh Représentation de la table de vérité sous forme graphique. Nombre de cases = nombre de lignes de la table de vérité. Multiple de 2 n (, 2, 4, 8, 6,...) n = Nombre d entrées 2

Table de Karnaugh vec n = 2: Entrées et 4 cases.. 2. 3. Table de Karnaugh vec n = 3: Entrées C, et 8 cases C 3 2 4 5 7 6 3

Table de Karnaugh vec n = 4: Entrées D, C, et 6 cases DC 3 2 4 5 7 6 2 3 5 4 8 9 Exemple (Karnaugh Karnaugh) Entrées Sortie C S C 3 2 4 5 7 6 TLE DE KRNUGH TLE DE VÉRITÉ 4

Table de Karnaugh À partir de la table, on simplifie en groupant les adjacents. Les adjacents sont mis en évidence par l'ordre utilisé pour former la table La taille d un groupe est un multiple de 2 k (, 2, 4, 8,...). Le groupe est soit rectangulaire ou carré. Table de Karnaugh ormer les plus gros groupes possibles. Termes plus simples. Un peut faire partie de plusieurs groupes. 5

Exemple (Karnaugh Karnaugh) Les des bords extrêmes sont adjacents. La table se referme sur elle même. DC /C./ /D.C./. 4 5 7 6 3 2 2 3 5 4 8 9 /C. Table de Karnaugh À partir de la table, on simplifie en groupant les adjacents. Les adjacents sont mis en évidence par l'ordre utilisé pour former la table La taille d un groupe est un multiple de 2 k (, 2, 4, 8,...). Le groupe est soit rectangulaire ou carré. 6