1 / 18

Sistemas Digitais (Bolonha)

Sistemas Digitais (Bolonha). Aula 2. Álgebra de Boole Operadores lógicos Teoremas fundamentais Funções booleanas. x 1. x 2. y 1. x 3. x 4. x 5. Circuitos combinatórios. Um circuito digital combinatório possui: uma ou mais entradas digitais; uma ou mais saídas digitais;

jenski
Download Presentation

Sistemas Digitais (Bolonha)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Sistemas Digitais (Bolonha) Aula 2 Álgebra de Boole Operadores lógicos Teoremas fundamentais Funções booleanas Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  2. x1 x2 y1 x3 x4 x5 Circuitos combinatórios • Um circuito digital combinatório possui: • uma ou mais entradas digitais; • uma ou mais saídas digitais; • uma especificação funcional que descreve cada saída em função dos valores das entradas; • uma especificação temporal que inclui, pelo menos, o tempo máximo que o circuito vai demorar para produzir valores de saída a partir de um conjunto arbitrário de valores de entrada (válidos e estáveis) -> tempo de propagação. Circuito digital (gerar na saída valor ‘1’ se pelo menos 3 das 5 entradas estarão a ‘1’; caso contrário gerar ‘0’) (saída válida será gerada passados, no máximo, 2 s após a recepção de entradas válidas) Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  3. Álgebra de Boole Álgebra de Boole binária - é um instrumento matemático que permite descrever relações funcionais entre as entradas e saídas de um circuito digital. • Álgebra de Boole é uma estrutura matemática baseada num conjunto {B,+, }, satisfazendo o seguinte conjunto de postulados: • Fecho (as operações são fechadas em B) • Comutatividade • Elementos neutros • Distributividade mútua • Complementação • Cardinalidade Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  4. Postulados P1- fecho: ambas as operações são fechadas em B: P2- comutatividade P3– elementos neutros Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  5. Postulados (cont.) P4– distributividade mútua P5- complementação P6– cardinalidade Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  6. Álgebra de Boole binária Se #B = 2, temos álgebra de Boole a dois valores (B={0,1}). Operadores: Expressões - conjunto de variáveis e/ou constantes 0 e 1 associadas por operadores Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  7. P3 P5 P4 P5 P3 b  b = b  b + b0 = b  b + b b = b  (b + b) = b  b1 = b • Sejam b0a e b0b tal que b + b0a = b + b0b = b b0a + b0b = b0aP3 b0b + b0a = b0bP3 => b0a = b0b b0a + b0b = b0bP2 Teoremas Idempotência bB b  b = b e b + b = b Unicidade do elemento neutro Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  8. P3 P5 P4 P3 P5 b  b0 = b  b0 + b0 = b  b0 + b b = b  (b0 +b) = b b = b0 P3 P4 P3 x + x  y = x  b1 + x  y = x  (b1 + y) = x  b1 = x Teoremas (cont.) Unicidade do complemento Elemento absorvente bB b  b0 = b0 b + b1 = b1 Absorção x,yB x + x  y = x x  (x + y) = x Simplificação x,yB x +x  y = x + y x  (x +y) = x  y Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  9. P4 P5 P3 x  y + x y = x  (y +y) = x  b1 = x Involução xB x = x Teoremas (cont.) Adjacência x,yB x  y + x y = x (x + y)  (x +y) = x indução perfeita: Consenso x,y,zB x  y +x  z + y  z = x  y +x  z (x + y)  (x + z)  (y + z) = (x + y)  (x + z) Associatividade x,y,zB (x  y)  z = x  (y  z) (x + y) + z = x + (y + z) Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  10. x,yB x + y =x y e x  y =x +y P5, elemento absorvente, idempotência P4 (x + y)  (x y) = x x y +x  y y = b0 Leis de DeMorgan Generalização para n variáveis: Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  11. Princípio da dualidade Todo o teorema ou identidade algébrica dedutível a partir dos postulados da álgebra de Boole conserva a validade se as operações (+) e (.) e os elementos neutros forem trocados. Exemplos: [ (x +y)  (z + 1) ]D = (x y) + (z  0) Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  12. Conjunto completo de operadores - conjunto de operadores a partir dos quais se pode representar qualquer função booleana. • { AND, OR, NOT } • { AND, NOT } • { OR, NOT } • { NAND } • { NOR } • ... Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  13. Operadores NAND e NOR Para escrever uma expressão booleana apenas com operadores NAND deve-se primeiro colocá-la na forma da soma de produtos e a seguir aplicar o teorema de involução e as leis de DeMorgan Para escrever uma expressão booleana apenas com operadores NOR deve-se primeiro colocá-la na forma do produto de somas e a seguir aplicar o teorema de involução e as leis de DeMorgan Exemplos: Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  14. Sistema digital x1 y1 x2 y2 ... ... xn ym Funções booleanas Uma função booleana é uma correspondência que associa um elemento do conjunto B={0,1} a cada uma das 2n combinações possíveis que as variáveis podem assumir. Existem 2m×2n funções booleanas diferentes que podem ser implementadas num sistema digital com n entradas e m saídas. Exemplos: Para n=1, m=1: 21×21 = 4 Para n=4, m=3: 23×24 = 248=281 474 976 710 656 Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  15. Funções duais Para obter a função dual de f, deve-se aplicar o princípio de dualidade a f. Uma função f é auto-dual se f = fD => Exemplo: Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  16. Representação de funções • tabular (tabela de verdade) • algébrica • esquemática (circuitos lógicos) Representação algébrica inclui frequentemente termos redundantes: Representação tabular é única: Representação esquemática: => necessidade de simplificação Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  17. NOT buffer NAND AND NOR OR XNOR XOR Portas lógicas Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

  18. Exprima a função y na forma mais simples recorrendo a operadores NAND. Exprima a função y na forma mais simples recorrendo a operadores NOR. Exercícios Sistemas Digitais (Bolonha), 2007, Iouliia Skliarova

More Related