Arhitectura Sistemelor de Calcul Grigore ALBEANU ©galbeanu

BAZELE LOGICE ALE SISTEMELOR DE CALCUL Latici şi algebre Boole Latici şi algebre Boole Funcţii booleene. Forme normale Funcţii booleene. Forme normale Aplicaţii Aplicaţii Modelarea sistemelor digitale Modelarea sistemelor digitale Exerciţii Exerciţii ©galbeanu 2

Latici şi algebre Boole 2.1 ©galbeanu

Mathematicians/Boole.html Logica cuantica George Boole ( ), matematician englez care a propus o nouă abordare a logicii (prin introducerea algebrelor ce astăzi îi poartă numele). S-a mai ocupat de calculul cu diferenţe finite, ecuaţii diferenţiale şi metode specifice teoriei probabilităţilor ©galbeanu Constructive Solid Geometry (games !, Virtual Worlds)

©galbeanu

Funcţii booleene. Forme normale ©galbeanu 2.2

Nu toti operatorii la nivel de bit (C, Java) sunt obtinuti din functii booleene ©galbeanu

Tutorial/computer2.jpg

©galbeanu

Functii booleene simple ©galbeanu

Exemple ©galbeanu

Aplicatii Forma minimala (simplificarea expresiilor booleene) Forma minimala (simplificarea expresiilor booleene) Circuitul sumator Circuitul sumator Comparatorul Comparatorul 2.3 ©galbeanu

Simplificarea expresiilor booleene 1.ESPRESSO Algorithm (Univ of California, Berkeley) 2.Algoritmul Quine McCluskey (oricate variabile) 3.Diagrame Karnaugh (maxim 6 variabile) 4.Aplicarea regulilor de calcul ©galbeanu

Diagrame Karnaugh ©galbeanu

Algoritmul Quine McCluskey ©galbeanu

Algoritmul ESPRESSO MINILOG: Minimizator logic euristic

Sumatorul (Adder) ©galbeanu

Comparatorul ©galbeanu

Modelarea sistemelor digitale (§3.1.7) 2.4 ©galbeanu

Exercitii ©galbeanu