Aula 4: Álgebra booleana

Tamanho: px
Começar a partir da página:

Download "Aula 4: Álgebra booleana"

Transcrição

1 Aula 4: Álgebra booleana Circuitos Digitais Rodrigo Hausen CMCC UFABC 01 de fevereiro de Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

2 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

3 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

4 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

5 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); desligado e ligado; Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

6 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); desligado e ligado; nível baixo e nível alto de um sinal; Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

7 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); desligado e ligado; nível baixo e nível alto de um sinal; 0 e 1, etc. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

8 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); desligado e ligado; nível baixo e nível alto de um sinal; 0 e 1, etc. Variável booleana: pode assumir um dos dois valores booleanos válidos. Geralmente denotada por uma letra maiúscula: A, B, C, X, Y, Z,... Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

9 Uma álgebra diferente Álgebra booleana [Boole, 1854] Álgebra onde há apenas dois valores válidos: falso e verdadeiro. Também denotados: F e V; false e true (ou F e T); desligado e ligado; nível baixo e nível alto de um sinal; 0 e 1, etc. Variável booleana: pode assumir um dos dois valores booleanos válidos. Geralmente denotada por uma letra maiúscula: A, B, C, X, Y, Z,... George Boole ( ). Matemático e filósofo inglês, pai da lógica digital moderna. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

10 Operações básicas As operações básicas da álgebra booleana são: conjunção ou multiplicação booleana: X e Y X and Y X Y X Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

11 Operações básicas As operações básicas da álgebra booleana são: conjunção ou multiplicação booleana: X e Y X and Y X Y X Y disjunção ou produto booleano: X ou Y X or Y X Y X + Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

12 Operações básicas As operações básicas da álgebra booleana são: conjunção ou multiplicação booleana: X e Y X and Y X Y X Y disjunção ou produto booleano: X ou Y X or Y X Y X + Y negação ou complemento: não X not X X X X Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

13 Operações básicas As operações básicas da álgebra booleana são: conjunção ou multiplicação booleana: X e Y X and Y X Y X Y disjunção ou produto booleano: X ou Y X or Y X Y X + Y negação ou complemento: não X not X X X X Em Java, respectivamente: X && Y, X Y,!X Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

14 Tabuadas da álgebra booleana Assim como na álgebra comum, o resultado de uma operação booleana é obtido através de uma tabuada. Na álgebra booleana, as tabuadas são chamadas tabelas verdade. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

15 Tabuadas da álgebra booleana Assim como na álgebra comum, o resultado de uma operação booleana é obtido através de uma tabuada. Na álgebra booleana, as tabuadas são chamadas tabelas verdade. Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da negação (não) x F V x V F Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

16 Tabuadas da álgebra booleana Assim como na álgebra comum, o resultado de uma operação booleana é obtido através de uma tabuada. Na álgebra booleana, as tabuadas são chamadas tabelas verdade. Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da negação (não) Conjunção (oper. e): resultado verdadeiro apenas se x e y forem verdadeiros. x F V x V F Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

17 Tabuadas da álgebra booleana Assim como na álgebra comum, o resultado de uma operação booleana é obtido através de uma tabuada. Na álgebra booleana, as tabuadas são chamadas tabelas verdade. Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da negação (não) Conjunção (oper. e): resultado verdadeiro apenas se x e y forem verdadeiros. Disjunção (oper. ou): resultado verdadeiro apenas se x ou y forem verdadeiros. x F V x V F Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

18 Tabuadas da álgebra booleana Assim como na álgebra comum, o resultado de uma operação booleana é obtido através de uma tabuada. Na álgebra booleana, as tabuadas são chamadas tabelas verdade. Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da negação (não) Conjunção (oper. e): resultado verdadeiro apenas se x e y forem verdadeiros. Disjunção (oper. ou): resultado verdadeiro apenas se x ou y forem verdadeiros. Negação: resultado só será verdadeiro se x não for verdadeiro. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19 x F V x V F

19 Tabelas verdade com valores 0 e 1 Equivalências: F = 0, V = 1 Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da negação (não) x F V x V F Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

20 Tabelas verdade com valores 0 e 1 Equivalências: F = 0, V = 1 Tabela verdade da conjunção (e) x y x y F F F F V F V F F V V V Tabela verdade da conjunção (e) x y x y Tabela verdade da disjunção (ou) x y x + y F F F F V V V F V V V V Tabela verdade da disjunção (ou) x y x + y Tabela verdade da negação (não) x F V x V F Tabela verdade da negação (não) x x Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

21 Tabelas verdade com valores 0 e 1 Cuidado! Não confunda tabelas verdade com tabuadas da aritmética na base 2. Tabela verdade da conjunção (e) x y x y Tabela verdade da disjunção (ou) x y x + y Tabela verdade da negação (não) x x Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

22 Tabelas verdade com valores 0 e 1 Cuidado! Não confunda tabelas verdade com tabuadas da aritmética na base 2. Tabela verdade da conjunção (e) x y x y Tabela verdade da disjunção (ou) x y x + y Tabela verdade da negação (não) x x A partir de agora, daremos preferência a representar os valores lógicos por 0 e 1 (exceto quando for mais claro representar por F e V). Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

23 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

24 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

25 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

26 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = 0 + Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

27 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = 0 + (0 1) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

28 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = 0 + (0) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

29 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

30 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

31 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

32 Expressões lógicas Como na álgebra comum, podemos combinar as operações, formando expressões lógicas. O resultado de uma expressão lógica pode ser calculado aplicando-se cada operação lógica, consultando-se as tabelas verdade correspondentes. Para indicar a ordem de aplicação das operações, usam-se parênteses como na álgebra comum. Ex 1.: calcule o resultado da expressão abaixo: 1 + (0 1) = = 0 Se não houver parênteses, a operação tem precedência sobre a operação + Ou seja, significa o mesmo que 1 + (0 1) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

33 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

34 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

35 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

36 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

37 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

38 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

39 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade = = = 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

40 Variáveis booleanas e expressões lógicas Como na álgebra comum, também podemos deixar valores a determinar em expressões lógicas. Esses valores indeterminados são chamados variáveis booleanas. Ex 2.: considere a expressão X Y + X Y. Qual o seu valor quando X = 1 e Y = 0? Solução: substitua os valores de X e Y na expressão e calcule usando as tabelas verdade = = = 1 Podemos determinar tabelas verdade para expressões lógicas atribuindo todos as combinações de valores possíveis às variáveis. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

41 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y 0 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

42 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

43 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

44 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

45 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

46 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

47 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

48 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

49 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

50 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

51 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

52 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

53 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

54 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

55 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

56 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

57 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

58 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

59 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

60 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

61 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

62 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

63 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = = = = 0 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

64 Variáveis, expressões lógicas e tabelas verdade Ex 3.: construa a tabela verdade da expressão X Y + X Y e interprete o resultado. Dica: facilita a construção da tabela se adicionarmos colunas com resultados intermediários. X Y X Y X Y X Y X Y + X Y = = = = = = = = = = = = 0 Interpretação: o resultado será verdadeiro se apenas uma das variáveis for verdadeira; será falso, caso contrário. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

65 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

66 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

67 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

68 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Tabela verdade da disjunção exclusiva (operação ou-ex) X Y X Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

69 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Tabela verdade da disjunção exclusiva (operação ou-ex) X Y X Y Na ausência de parênteses a precedência das operações é sempre: 1º negação; Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

70 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Tabela verdade da disjunção exclusiva (operação ou-ex) X Y X Y Na ausência de parênteses a precedência das operações é sempre: 1º negação; 2º conjunção (e); Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

71 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Tabela verdade da disjunção exclusiva (operação ou-ex) X Y X Y Na ausência de parênteses a precedência das operações é sempre: 1º negação; 2º conjunção (e); 3º disjunção (ou); Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

72 Nova operação: disjunção exclusiva A expressão X Y + X Y costuma aparecer com muita frequência em álgebra booleana. Daremos um nome para ela: disjunção exclusiva. Também conhecida como ou exclusivo, ou-ex e xor. Denotada pelo símbolo : X Y = X Y + X Y em Java: X ˆˆY (dois acentos circunflexos) Tabela verdade da disjunção exclusiva (operação ou-ex) X Y X Y Na ausência de parênteses a precedência das operações é sempre: 1º negação; 2º conjunção (e); 3º disjunção (ou); 4º disjunção exclusiva (ou-ex) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

73 Funções lógicas Função lógica: associação que leva de um conjunto de n variáveis booleanas no conjunto {0,1}. F : {0,1} n {0,1} X 1, X 2,..., X n Y = F (X 1, X 2,..., X n ) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

74 Funções lógicas Função lógica: associação que leva de um conjunto de n variáveis booleanas no conjunto {0,1}. F : {0,1} n {0,1} X 1, X 2,..., X n Y = F (X 1, X 2,..., X n ) Podemos descrever uma função lógica por uma expressão booleana ou pela sua tabela verdade. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

75 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

76 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

77 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

78 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

79 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

80 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

81 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

82 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

83 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

84 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

85 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

86 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

87 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

88 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

89 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

90 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

91 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? ? Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

92 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? ? 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

93 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? ? ? ? 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

94 Funções lógicas Ex. 4: construa a tabela verdade da função F (A,B,C) = A + B C A B C B C F (A,B,C) = A + B C ? ? ? ? 1 Onde há? não importa o valor de B C, pois nos quatro casos, como A = 1, então A + B C = 1 Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

95 Funções lógicas Ex. 5: determine, se possível, uma expressão para a função F dada pela seguinte tabela verdade. X Y F(X,Y) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

96 Funções lógicas Ex. 5: determine, se possível, uma expressão para a função F dada pela seguinte tabela verdade. X Y F(X,Y) Note que o resultado de F (X,Y ) é sempre o contrário do resultado de X Y. Ou seja, o resultado da operação ou-ex é verdadeiro se, e somente se, F (X,Y ) é falso. Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

97 Funções lógicas Ex. 5: determine, se possível, uma expressão para a função F dada pela seguinte tabela verdade. X Y F(X,Y) Note que o resultado de F (X,Y ) é sempre o contrário do resultado de X Y. Ou seja, o resultado da operação ou-ex é verdadeiro se, e somente se, F (X,Y ) é falso. Da observação anterior, e conhecendo as tabelas verdade das operações lógicas, uma expressão possível para F (X,Y ) é: F (X,Y ) = X Y Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

98 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

99 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

100 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

101 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

102 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

103 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

104 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

105 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

106 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

107 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

108 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

109 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

110 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

111 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

112 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

113 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

114 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

115 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

116 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

117 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z Y + Z X (Y + Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

118 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

119 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

120 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

121 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

122 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

123 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

124 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

125 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

126 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

127 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

128 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

129 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

130 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

131 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

132 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

133 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

134 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

135 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

136 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

137 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

138 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

139 Funções lógicas Ex. 6: Construa a tabela verdade para as funções F (X,Y,Z) = X (Y + Z) e G(X,Y,Z) = X Y + X Z, compare-as e interprete os resultados. X Y Z X Y X Z X Y + X Z Igual à tabela para F (X,Y,Z) = X (Y + Z). Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

140 Equivalência de funções Duas funções lógicas são equivalentes se suas tabelas verdade são iguais. F (X,Y,Z) = X (Y + Z) G(X,Y,Z) = X Y + X Z X Y Z F (X,Y,Z) G(X,Y,Z) Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

141 Equivalência de funções Duas funções lógicas são equivalentes se suas tabelas verdade são iguais. F (X,Y,Z) = X (Y + Z) G(X,Y,Z) = X Y + X Z X Y Z F (X,Y,Z) G(X,Y,Z) Pela tabela, nota-se que F (X,Y,Z) = G(X,Y,Z) X (Y + Z) = X Y + X Z Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de / 19

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary Eletrônica Digital Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos Professor: Francisco Ary Introdução Vimos na aula anterior conversão de números binário fracionários em decimal;

Leia mais

Sistemas Digitais Módulo 4 Álgebra Booleana e Circuitos Lógicos

Sistemas Digitais Módulo 4 Álgebra Booleana e Circuitos Lógicos Universidade Federal de Uberlândia Faculdade de Computação Sistemas Digitais Módulo 4 Álgebra Booleana e Circuitos Lógicos Graduação em Sistemas de Informação Prof. Dr. Daniel A. Furtado Conteúdo Introdução

Leia mais

Circuitos Digitais Álgebra de Boole

Circuitos Digitais Álgebra de Boole Circuitos Digitais Álgebra de Boole Álgebra de Boole (ou Booleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto de dois elementos: (falso, verdadeiro)

Leia mais

PRINCÍPIO BOOLEANO E PORTAS LÓGICAS (Unidade 3)

PRINCÍPIO BOOLEANO E PORTAS LÓGICAS (Unidade 3) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA

Leia mais

Programação de Computadores I Dados, Operadores e Expressões PROFESSORA CINTIA CAETANO

Programação de Computadores I Dados, Operadores e Expressões PROFESSORA CINTIA CAETANO Programação de Computadores I Dados, Operadores e Expressões PROFESSORA CINTIA CAETANO Dados em Algoritmos Quando escrevemos nossos programas, trabalhamos com: Dados que nós fornecemos ao programa Dados

Leia mais

Prof. Leonardo Augusto Casillo

Prof. Leonardo Augusto Casillo UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Aula 6 Álgebra de Boole Prof. Leonardo Augusto Casillo Álgebra de Boole (ou Boleana) Desenvolvida pelo matemático britânico George

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

PCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr.

PCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr. PCS 35 (PCS225) Sistemas Digitais I Módulo 5 Álgebra Booleana Prof. Dr. Edison Sobre o material do Prof. Dr. Marcos A. Simplicio Jr. versão: 5 (Mar/28) Conceitos básicos Conteúdo Teoremas de variável Teoremas

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Histórico. George Boole ( ) Claude Elwood Shannon ( )

Histórico. George Boole ( ) Claude Elwood Shannon ( ) Histórico Em meados do século XIX o matemático inglês George oole desenvolveu um sistema matemático de análise lógica Em meados do século XX, o americano Claude Elwood Shannon sugeriu que a Álgebra ooleana

Leia mais

Abaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR.

Abaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR. 9. Apêndice - Portas e Operações Lógicas Uma porta lógica é um circuito eletrônico (hardware) que se constitui no elemento básico de um sistema de computação. A CPU, as memórias, as interfaces de E/S são

Leia mais

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. INSTITUTO SUPERIOR POLITÉCNICO METROPOLITANO DE ANGOLA DEPARTAMENTO DE CIÊNCIAS TECNOLÓGICAS E ENGENHARIAS Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. SDC LCC1N

Leia mais

CIRCUITOS DIGITAIS COMBINACIONAIS (Unidade 3)

CIRCUITOS DIGITAIS COMBINACIONAIS (Unidade 3) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA

Leia mais

PCS 3115 (PCS2215) Conteúdo

PCS 3115 (PCS2215) Conteúdo -Mar-8 PCS 35 (PCS225) Sistemas Digitais I Módulo 5 Álgebra Booleana Prof. Dr. Marcos A. Simplicio Jr. versão: 3. (Jan/26) Conteúdo Conceitos básicos Teoremas de variável Teoremas de 2 variáveis Teoremas

Leia mais

Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas

Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas 1 Componentes Álgebra dos de computadores Boole Vimos anteriormente que os números binários não representam

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

Capítulo 3. Álgebra de Bool

Capítulo 3. Álgebra de Bool Capítulo 3 Álgebra de Bool Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture Objectivos Compreender a relação entre lógica Booleana e os circuitos

Leia mais

Módulo 2 Álgebra e Lógica Booleana

Módulo 2 Álgebra e Lógica Booleana 1 Sistemas Digitais e Arquitetura de Computadores Módulo 2 Álgebra e Lógica Booleana 0. Álgebra de Boole 2017/2018 2 Introdução A álgebra de Boole, como a álgebra tradicional, tem, em princípio, como objeto,

Leia mais

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch Lógica Boolena Aula 05 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de Boole ALB0001 arthur.bartsch@udesc.br

Leia mais

ÁLGEBRA BOOLEANA E LÓGICA DIGITAL AULA 04 Arquitetura de Computadores Gil Eduardo de Andrade

ÁLGEBRA BOOLEANA E LÓGICA DIGITAL AULA 04 Arquitetura de Computadores Gil Eduardo de Andrade ÁLGEBRA BOOLEANA E LÓGICA DIGITAL AULA 04 Arquitetura de Computadores Gil Eduardo de Andrade O conteúdo deste documento é baseado no livro Princípios Básicos de Arquitetura e Organização de Computadores

Leia mais

Arquitetura de Computadores Aula 9 Portas Lógicas

Arquitetura de Computadores Aula 9 Portas Lógicas Arquitetura de Computadores Aula 9 Portas Lógicas Prof. Fred Sauer http://www.fredsauer.com.br fsauer@gmail.com 1/18 * Definição * Tipos de portas lógicas (operadores) * Aplicações - porta de transferência

Leia mais

SISTEMAS DIGITAIS ÁLGEBRA BOOLEANA. Professor Carlos Muniz

SISTEMAS DIGITAIS ÁLGEBRA BOOLEANA. Professor Carlos Muniz Professor Carlos Muniz Uma álgebra Booleana pode ser definida com um conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade de prova. Em 1854, George Boole introduziu

Leia mais

Álgebra Booleana e Tabelas-Verdade

Álgebra Booleana e Tabelas-Verdade Álgebra Booleana e Tabelas-Verdade Prof. Ohara Kerusauskas Rayel Disciplina de Eletrônica Digital - ET75C Curitiba, PR 9 de abril de 2015 1 / 30 Álgebra Booleana Principal diferença para a álgebra convencional:

Leia mais

Universidade Federal do ABC

Universidade Federal do ABC Universidade Federal do ABC Eletrônica Digital Aula 2: Portas Lógicas Básicas Tocci, Sistemas Digitais, Cap. 3. https://sites.google.com/site/en2605edigital/edigital Prof. Rodrigo Reina Muñoz rodrigo.munoz@ufabc.edu.br

Leia mais

Lógica para Computação. Álgebra de Boole

Lógica para Computação. Álgebra de Boole Lógica para Computação Álgebra de Boole Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode

Leia mais

3. CAPÍTULO LÓGICAS DIGITAIS

3. CAPÍTULO LÓGICAS DIGITAIS 3. CAPÍTULO LÓGICAS DIGITAIS 3.1. Introdução A Lógica é um conjunto de regras para raciocínio sobre um determinado assunto, ela é muito utilizada no ramo da Filosofia e da Matemática. 3.2. Portas lógicas

Leia mais

Descrevendo Circuitos Lógicos. CPCX UFMS Prof. Renato F. dos Santos

Descrevendo Circuitos Lógicos. CPCX UFMS Prof. Renato F. dos Santos Descrevendo Circuitos Lógicos CPCX UFMS Prof. Renato F. dos Santos 3.1 Constantes e variáveis booleanas Uma variável booleana é uma quantidade que pode ser, em diferentes momentos, igual a 0 ou 1 São muitas

Leia mais

Álgebra de Boole (ou Boleana) Circuitos Digitais Portas Lógicas e Álgebra de Boole. Álgebra de Boole: Tabela Verdade. Álgebra de Boole: funções

Álgebra de Boole (ou Boleana) Circuitos Digitais Portas Lógicas e Álgebra de Boole. Álgebra de Boole: Tabela Verdade. Álgebra de Boole: funções 6/3/2 Circuitos Digitais Portas Lógicas e Álgebra de Boole Prof. Abel Guilhermino Aula 3 (ou Boleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto

Leia mais

Introdução à Informática. Álgebra de Boole. Ageu Pacheco e Alexandre Meslin

Introdução à Informática. Álgebra de Boole. Ageu Pacheco e Alexandre Meslin Introdução à Informática Álgebra de oole geu Pacheco e lexandre Meslin Objetivo da ula: Estudar os conceitos e regras que regem o projeto e funcionamento dos circuitos lógicos dos computadores digitais.

Leia mais

Disciplina: Lógica Matemática Prof. Etelvira Leite

Disciplina: Lógica Matemática Prof. Etelvira Leite Disciplina: Prof. Etelvira Leite A álgebra de Boole é um conjunto de postulados e operações lógicas com variáveis binárias desenvolvido pelo matemático e filósofo inglês George Boole (1815-1864). O inglês

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

Sistemas Digitais. Revisão Portas Lógicas. Isaac Maia

Sistemas Digitais. Revisão Portas Lógicas. Isaac Maia Sistemas Digitais Revisão Portas Lógicas Isaac Maia Portas Lógicas - Revisão Conteúdo Introdução Notações Tabela Verdade Diagramas de Tempo Porta OR(Operação OU) Porta AND(Operação E) Porta NOT(Inversor)

Leia mais

PORTAS LÓGICAS OR, AND e NOT

PORTAS LÓGICAS OR, AND e NOT PORTAS LÓGICAS OR, AND e NOT O que é uma porta lógica? Uma porta lógica poderá ajudá-lo a tomar uma decisão lógica. Em eletrônica digital, uma porta lógica pode ser definida como um circuito com somente

Leia mais

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete

Leia mais

Programação de Computadores III

Programação de Computadores III Programação de Computadores III Introdução a Algoritmos (Parte II) Professor Hugo de Oliveira Barbalho hbarbalho@ic.uff.br Material produzido pelo professor: Leandro Augusto rata ernandes (laffernandes@ic.uff.br)

Leia mais

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores

Leia mais

Arquitetura e Organização de Computadores. Álgebra Booleana

Arquitetura e Organização de Computadores. Álgebra Booleana Arquitetura e Organização de Computadores Álgebra Booleana 1 Histórico e Propriedades Formalizada por George Boole em 1854 Usada por Shannon em 1938 para provar propriedades de circuitos de chaveamento

Leia mais

Eletrônica Digital. Funções e Portas Lógicas. Prof. Renato Moraes

Eletrônica Digital. Funções e Portas Lógicas. Prof. Renato Moraes Eletrônica Digital Funções e Portas Lógicas Prof. Renato Moraes Introdução Em 1854, o matemático inglês George Boole apresentou um sistema matemático de análise lógica conhecido como Álgebra de Boole.

Leia mais

Programação de Computadores:

Programação de Computadores: Instituto de C Programação de Computadores: Introdução a Algoritmos (Parte II) Luis Martí Instituto de Computação Universidade ederal luminense lmarti@ic.uff.br - http://lmarti.com Roteiro da Aula de Hoje

Leia mais

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração Sistemas de Numeração Sistemas de Numeração (Aula Extra) Sistemas de diferentes bases Álgebra Booleana Roberta Lima Gomes - LPRM/DI/UFES Sistemas de Programação I Eng. Elétrica 27/2 Um sistema de numeração

Leia mais

Variável. Expressões. Atribuição. Tipos básicos Declaração. Aritméticas Lógicas. Professor Leandro Augusto Frata Fernandes

Variável. Expressões. Atribuição. Tipos básicos Declaração. Aritméticas Lógicas. Professor Leandro Augusto Frata Fernandes Programação de Computadores III Aula 3 Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2011.1/tcc-03.063 Roteiro da Aula

Leia mais

Nível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Nível da Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas

Leia mais

Puca Huachi Vaz Penna

Puca Huachi Vaz Penna Aula 3 C++: variáveis e expressões aritméticas 2017/1 BCC201 Introdução à Computação Turmas 61, 62, 63, 64, 65 e 66, 32 e 33 Puca Huachi Vaz Penna Departamento de Computação Universidade Federal de Ouro

Leia mais

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:

Leia mais

Projeto de Circuitos Lógicos. Introdução ao Computador 2010/01 Renan Manola

Projeto de Circuitos Lógicos. Introdução ao Computador 2010/01 Renan Manola Projeto de Circuitos Lógicos Introdução ao Computador 2010/01 Renan Manola Blocos básicos dos circuitos lógicos Portas Lógicas (1) Transistor A lógica digital baseia-se no fato de que um transistor pode

Leia mais

LÓGICA DIGITAL - CONCEITOS. * Constantes. * Expressões: Aritméticas; Lógicas; Tabela Verdade; Relacionais; Booleanas. * Portas Lógicas.

LÓGICA DIGITAL - CONCEITOS. * Constantes. * Expressões: Aritméticas; Lógicas; Tabela Verdade; Relacionais; Booleanas. * Portas Lógicas. * Tipos de Dados. * Constantes. * Expressões: Aritméticas; Lógicas; Tabela Verdade; Relacionais; Booleanas. * Portas Lógicas. 1 TIPOS DE DADOS Dados inteiros Representação das informações pertencentes

Leia mais

Programação de Computadores I. Professor Ilaim Costa Junior

Programação de Computadores I. Professor Ilaim Costa Junior Programação de Computadores I Professor Ilaim Costa Junior ilaim@ic.uff.br Roteiro da Aula de Hoje ariável Tipos básicos Declaração Expressões Aritméticas Lógicas Atribuição 2 ariável Representa uma região

Leia mais

Funções e Portas Lógicas

Funções e Portas Lógicas Funções e Portas Lógicas 2. Funções Lógicas 2 2.1 Introdução 2 2.2 Funções Lógicas Básicas 3 2.2.1 Função Lógica NÃO (NOT) 3 2.2.2 Função Lógica E (AND) 3 2.2.3 Função Lógica OU (OR) 5 2.2.4 Função Lógica

Leia mais

Aula 5: determinação e simplificação de expressões lógicas

Aula 5: determinação e simplificação de expressões lógicas Aula 5: determinação e simplificação de expressões lógicas Circuitos Digitais Rodrigo Hausen CMCC UFABC 4 e 6 de Fev. de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 5: determinação

Leia mais

Computação e Programação

Computação e Programação Computação e Programação 1ª Aula de 2008-2009 Instituto Superior Técnico, Dep. de Engenharia Mecânica - Sistemas O Visual C++ Para Casa (se possível antes da aula!): Veja o video e o screencast que se

Leia mais

SSC0112 Organização de Computadores Digitais I

SSC0112 Organização de Computadores Digitais I SSC2 Organização de Computadores Digitais I 4ª Aula Revisão de Lógica Digital Profa. Sarita Mazzini Bruschi sarita@icmc.usp.br Aula ministrada por Prof. Paulo Sergio Lopes de Souza Revisão de Lógica Digital

Leia mais

Álgebra de Boole. Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes

Álgebra de Boole. Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes Álgebra de Boole Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto

Leia mais

Introdução à Programação em Java Constantes, expressões e variáveis

Introdução à Programação em Java Constantes, expressões e variáveis Constantes, expressões e variáveis Prof. Rodrigo Hausen Constante Valor definido pelo programador que não pode ser alterado durante a execução do programa. Exemplos em Java: numéricas inteiras: 1, 3, 9,

Leia mais

Transistor. Portas Lógicas (2) Base; Coletor; Emissor.

Transistor. Portas Lógicas (2) Base; Coletor; Emissor. Nível da Lógica Digital Nível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas

Leia mais

Introdução à Computação

Introdução à Computação Introdução à Computação Jordana Sarmenghi Salamon jssalamon@inf.ufes.br jordanasalamon@gmail.com http://inf.ufes.br/~jssalamon Departamento de Informática Universidade Federal do Espírito Santo Agenda

Leia mais

Organização de computadores

Organização de computadores Organização de computadores Aula 6 - Álgebra de Boole Professora Marcela Santos marcela@edu.estacio.br Tópicos Portas lógicas e álgebra de boole Álgebra de boole regras e propriedades Provas de algumas

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre T.06 Fundamentos delógica Sumário : Abordagem à logica através da teoria de conjuntos: Operadores lógicos: união (OR), interseção

Leia mais

Introdução à Automação

Introdução à Automação Núcleo de Mecânica Introdução à Automação Prof. Wander Gaspar wandergaspar@gmail.com Sistemas Analógicos Um sistema analógico contém dispositivos que manipulam quantidades físicas que variam de forma contínua

Leia mais

Computadores III: Lógica digital e Álgebra booleana

Computadores III: Lógica digital e Álgebra booleana Computadores III: Lógica digital e Álgebra booleana A3 Texto 1 http://www.bpiropo.com.br/fpc20050704.htm Sítio Fórum PCs /Colunas Coluna: B. Piropo Publicada em 04/07/2005 Autor: B.Piropo Lógica digital

Leia mais

George Boole ( ) Claude Shannon

George Boole ( ) Claude Shannon George Boole (1815 1864) Claude Shannon Da matemática básica temos: Constante = valor fixo Variável = pode assumir qualquer valor Constante booleana = valor fixo (0 ou 1) independente da situação! Variável

Leia mais

CIRCUITOS DIGITAIS COMBINACIONAIS (Unidade 3)

CIRCUITOS DIGITAIS COMBINACIONAIS (Unidade 3) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA

Leia mais

01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional

01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.

Leia mais

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária

Leia mais

Circuitos Lógicos Combinacionais Aula Prática

Circuitos Lógicos Combinacionais Aula Prática Circuitos Lógicos Combinacionais Aula Prática Objetivos 1: Aprendizado da Ferramenta TKgate 2: Construção de circuitos combinacionais complexos 3: Construção de uma ALU básica 2 bits. AND, OR CMP SOMADOR

Leia mais

Sistemas Digitais Módulo 5 Teoremas Lógicos, Simplificação Algébrica e Projeto de Circuitos Lógicos

Sistemas Digitais Módulo 5 Teoremas Lógicos, Simplificação Algébrica e Projeto de Circuitos Lógicos Universidade Federal de Uberlândia Faculdade de Computação Sistemas Digitais Módulo 5 Teoremas Lógicos, Simplificação Algébrica e Projeto de Circuitos Lógicos Graduação em Sistemas de Informação Prof.

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

PORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas.

PORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas. PORTAS NOR e NAND As portas NOR e NAND são obtidas a partir da complementação das funções OR e AND. Podemos então dizer que o operador booleano lógico NOR é a negação do operador booleano OR enquanto que

Leia mais

Álgebra de Boole. Nikolas Libert. Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial

Álgebra de Boole. Nikolas Libert. Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial Álgebra de Boole Nikolas Libert Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial Álgebra de Boole Álgebra de Boole Augustus De Morgan (1806-1871) e George Boole (1815-1864). Desenvolvimento

Leia mais

------------------------------------------------------------------------------------------------------------------------------ Variáveis Lógicas Uma variável lógica é aquela que pode assumir apenas os

Leia mais

7 Operadores e Expressões

7 Operadores e Expressões 7 Operadores e Expressões 7.1 Definição de operador, expressão e operando Um operador é um símbolo utilizado para identificar que uma determinada operação deve ser realizada sobre um ou mais parâmetros,

Leia mais

Lógica Proposicional e Álgebra de Boole

Lógica Proposicional e Álgebra de Boole Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser

Leia mais

CIRCUITOS DIGITAIS ÁLGEBRA BOOLEANA

CIRCUITOS DIGITAIS ÁLGEBRA BOOLEANA CIRCUITOS DIGITAIS ÁLGEBRA BOOLEANA Prof. Edson Moreno Definição 2 A álgebra de Booleana é um sistema matemático composto por operadores, regras, postulados e teoremas. A álgebra booleana usa funções e

Leia mais

Eletrônica Digital 1 Curso Técnico Eletrônica. Fábio Kurt Schneider

Eletrônica Digital 1 Curso Técnico Eletrônica. Fábio Kurt Schneider Eletrônica Digital Curso Técnico Eletrônica Fábio Kurt Schneider Funções Lógicas Álgebra Boolena Soma de Produtos e Produto de Somas Aritmética binária ESTE MATERIAL ESTÁ BASEADO EM SLIDES PREPARADOS PELO

Leia mais

Introdução à Programação I

Introdução à Programação I Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem

Leia mais

Desenvolvimento de Aplicações Desktop

Desenvolvimento de Aplicações Desktop Desenvolvimento de Aplicações Desktop Operadores Lógicos; Estruturas de Controle (Decisão) Professor: Charles Leite Fluxo de Controle A ordem com que as instruções são executadas em um programa é chamada

Leia mais

ELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos

ELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos ELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos Prof.ª Eng. Msc. Patricia Pedroso Estevam Ribeiro Email: patriciapedrosoestevam@hotmail.com 08/10/2016 1 Introdução Os circuitos

Leia mais

Descrevendo Circuitos Lógicos (Continuação) CPCX UFMS Prof. Renato F. dos Santos

Descrevendo Circuitos Lógicos (Continuação) CPCX UFMS Prof. Renato F. dos Santos Descrevendo Circuitos Lógicos (Continuação) CPCX UFMS Prof. Renato F. dos Santos 3.6 Descrevendo circuitos lógicos algebricamente Qualquer circuito lógico pode ser descrito usando as três operações booleanas

Leia mais

CIRCUITOS DIGITAIS. Portas Lógicas e Álgebra Booleana

CIRCUITOS DIGITAIS. Portas Lógicas e Álgebra Booleana CIRCUITOS DIGITAIS Portas Lógicas e Álgebra Booleana Prof. Denis Fantinato Prof. Rodrigo Moreira Bacurau Slides baseados nas aulas do Prof. Rodrigo Moreira Bacurau Tabelas Verdade O que será visto nesta

Leia mais

Algoritmos I Introdução a Algoritmos. Carlos de Salles Soares Neto Segundas e Quartas, 17h40 às 19h10

Algoritmos I Introdução a Algoritmos. Carlos de Salles Soares Neto Segundas e Quartas, 17h40 às 19h10 Algoritmos I Introdução a Algoritmos Carlos de Salles Soares Neto csalles@deinf.ufma.br Segundas e Quartas, 17h40 às 19h10 Sejam bem-vindos! Os celulares têm que ficar no silencioso ou desligados Não se

Leia mais

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6)

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA TÉCNICO EM ELETROMECÂNICA DISCIPLINA: ELETRÔNICA GERAL CONTINUAÇÃO

Leia mais

Algoritmos: tipos de dados, variáveis e expressões

Algoritmos: tipos de dados, variáveis e expressões Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação Algoritmos: tipos de dados, variáveis e expressões DCA0800 - Algoritmos e Lógica de Programação Heitor Medeiros

Leia mais

Automação Industrial Parte 8

Automação Industrial Parte 8 Automação Industrial Parte 8 Prof. Ms. Getúlio Teruo Tateoki http://www.getulio.eng.br/meusalunos/autind.html -Vamos supor que seja necessário determinar a função lógica interna de um sistema desconhecido.

Leia mais

CAPÍTULO 3 PORTAS LÓGICAS E ÁLGEBRA BOOLEANA

CAPÍTULO 3 PORTAS LÓGICAS E ÁLGEBRA BOOLEANA CAPÍTULO 3 PORTAS LÓGICAS E ÁLGEBRA BOOLEANA Introdução Tabela Verdade Operações OR e AND Portas OR e AND Inversor Expressões Algébricas Portas NAND e NOR Teoremas Booleanos Introdução A álgebra booleana

Leia mais

3 - Operações Lógicas. Portas Lógicas, Expressões Lógicas e Circuitos Lógicos

3 - Operações Lógicas. Portas Lógicas, Expressões Lógicas e Circuitos Lógicos 3 - Operações Lógicas Portas Lógicas, Expressões Lógicas e Circuitos Lógicos 1 Introdução George Boole (1854) Álgebra de Boole Operações (disjunção), (conjunção) e (negação) Constantes: 0, 1 Axiomas: associatividade,

Leia mais

MCG114 Programação de Computadores I. Comandos de condição 3/26/18. Comando if. Comando if. Até agora... Comandos de Condição! Comandos de Condição

MCG114 Programação de Computadores I. Comandos de condição 3/26/18. Comando if. Comando if. Até agora... Comandos de Condição! Comandos de Condição 3/26/18 MCG114 Programação de Computadores I Profa. Comandos de condição 20:32:09 1 2 Até agora... Todos os programas têm fluxo de execução único As instruções que serão executadas são sempre as mesmas,

Leia mais

Aula 4 Expressões e Operadores Cleverton Hentz

Aula 4 Expressões e Operadores Cleverton Hentz Aula 4 Expressões e Operadores Cleverton Hentz Sumário de Aula } Expressões } Operadores } Linearização de Expressões 2 Expressões Uma expressão é composta por variáveis, constantes, ou qualquer combinação

Leia mais

ORGANIZAÇÃO DE COMPUTADORES CONCEITOS DE LÓGICA DIGITAL

ORGANIZAÇÃO DE COMPUTADORES CONCEITOS DE LÓGICA DIGITAL ORGANIZAÇÃO DE COMPUTADORES CONCEITOS DE LÓGICA DIGITAL Prof. Dr. Daniel Caetano 2014-1 Objetivos Compreender com o computador trabalha com os valores binários Compreender a lógica binária Aprender a construir

Leia mais

Circuitos Lógicos Portas Lógicas

Circuitos Lógicos Portas Lógicas Circuitos Lógicos Portas Lógicas Prof.: Daniel D. Silveira 1 Álgebra de Boole George Boole desenvolveu um sistema de análise lógica por volta de 1850 Este sistema é conhecido atualmente como álgebra de

Leia mais

Elementos de Matemática

Elementos de Matemática Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br

Leia mais

Prof. João Giardulli. Unidade I LÓGICA

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

Eletrônica Digital I (EDL I)

Eletrônica Digital I (EDL I) Eletrônica Digital I (EDL I) Instituto Federal de Educação, Ciência e Tecnologia de Santa Catarina - Campus São José Prof. Glauco Cardozo glauco.cardozo@ifsc.edu.br Ementa à Sistemas de numeração. à Funções

Leia mais

Circuitos Digitais. Conteúdo. Lógica. Introdução. Tabela-Verdade. Álgebra Booleana. Álgebra Booleana / Funções Lógicas. Ciência da Computação

Circuitos Digitais. Conteúdo. Lógica. Introdução. Tabela-Verdade. Álgebra Booleana. Álgebra Booleana / Funções Lógicas. Ciência da Computação Ciência da Computação Álgebra Booleana / Funções Lógicas Prof. Sergio Ribeiro Material adaptado das aulas de I do Prof. José Maria da UFPI Conteúdo Introdução Álgebra Booleana Constantes e Variáveis Booleanas

Leia mais

Conceitos introdutórios

Conceitos introdutórios Aula Conceitos introdutórios Prof. Tecgº Flávio Murilo Aula 2 Portas lógicas e Álgebra Booleana Prof. Tecgº Flávio Murilo 2 Álgebra Booleana Introdução Vimos anteriormente que os números binários não representam

Leia mais

Fábio Rodrigues / Israel Lucania

Fábio Rodrigues / Israel Lucania Fábio Rodrigues / Israel Lucania Variável é um local na memória principal, isto é, um endereço que armazena um conteúdo. Em linguagem de alto nível nos é permitido dar nomes a esse endereço, facilitando

Leia mais

Álgebra de Boole binária

Álgebra de Boole binária Álgebra de Boole binária Fundamentação Funções lógicas de uma variável Funções lógicas de duas variáveis Princípio da dualidade Funções de n variáveis Definição formal da Álgebra de Boole Manipulação de

Leia mais

Eletrônica Digital Portas Lógicas

Eletrônica Digital Portas Lógicas Eletrônica Digital Portas Lógicas ELETRÔNICA DIGITAL Portas Lógicas Expressões Booleanas Tabela Verdade Simbologia 3 Portas Lógicas As portas lógicas são componentes básicos da eletrônica digital usados

Leia mais

ÁLGEBRA DE BOOLE Operações Fundamentais, Autoavaliação, Indução Perfeita e Simulação

ÁLGEBRA DE BOOLE Operações Fundamentais, Autoavaliação, Indução Perfeita e Simulação ÁLGEBRA DE BOOLE Operações Fundamentais, Autoavaliação, Indução Perfeita e Simulação OBJETIVOS: a) Conhecer na prática os principais fundamentos da álgebra de Boole; b) Comprovar na prática os teoremas

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.

Leia mais