Postulado da complementação

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

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

ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES

Apostila Mapas de Veitch-Karnaugh

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

Álgebra Booleana: Axiomas, Teoremas e Leis de De Morgan

Prof. Leonardo Augusto Casillo

COLÉGIO DO INSTITUTO BATISTA AMERICANO PROF. ABIMAILTON PRATTI DA SILVA Rua Mariana N.º 70 Retiro Volta Redonda Telefone: (24)

LOGIC CIRCUITS CMOS Circuitos Lógicos CMOS

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

Aula 07 : Portas Lógicas e Álgebra Booleana

Circuitos Sequenciais: Circuitos Combinacionais: SISTEMAS DIGITAIS. Módulo 2 Prof. Celso

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

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

Sistemas Digitais. 6 Funções lógicas

Álgebra de Boole. George Simon Boole ( ) O criador da álgebra dos circuitos digitais. Profª Jocelma Rios. Out/2012

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

Técnicas Digitais para Computação

CAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL

Descrevendo Circuitos Lógicos (Continuação) Teoremas Booleanos. CPCX UFMS Slides: Prof. Renato F. dos Santos Adaptação: Prof. Fernando Maia da Mota

Universidade Federal do ABC

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

Organização de computadores

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

Capítulo II Álgebra Booleana e Minimização Lógica

Descrevendo Circuitos Lógicos Capítulo 3 Parte II

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

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

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

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

Simplificação de Expressões Booleanas e Circuitos Lógicos

S = ABC + A( C + B) -> Aplicando identidades auxiliares B C + B= C+B

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

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.

4. Álgebra Booleana e Simplificação Lógica. 4. Álgebra Booleana e Simplificação Lógica 1. Operações e Expressões Booleanas. Objetivos.

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

Teoria dos anéis 1 a parte 3

Álgebra de Boole e Simplificação de Circuitos Lógicos

Representação de Circuitos Lógicos

Álgebra de Boole. João Paulo Cerquinho Cajueiro 19 de agosto de 2009

Álgebra Booleana e Tabelas-Verdade

CEFET/RJ - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca Rio de Janeiro, 23 de setembro de 2008.

Sistemas Digitais Ficha Prática Nº Uniformização de circuitos com pontas NAND e NOR

Introdução à Automação

ÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.

Exercício 1: Matriz identidade. Exercício 3: Exercício 2: Exemplo: Igualdade entre matrizes 13/05/2017. Obtenha a matriz, em que.

CONJUNTO DOS NÚMEROS REAIS. Apostila do 8º ano Números Reais Apostila I Bimestre 8º anos

Circuitos Sequenciais

Mapas de Karnaugh Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h

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

Tecnologia dos Computadores 2002/2003. Exercícios

3. CAPÍTULO LÓGICAS DIGITAIS

Observação: Todas as letras em negrito abaixo (x, y, z, a e b) representam números reais.

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

Matrizes. Instituto Federal de Educação, Ciência e Tecnologia do Sudeste de Minas Gerais. Abril de 2014


Matrizes e sistemas de equações algébricas lineares

MONÔMIOS E POLINÔMIOS

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

Representação de Informação. 1. Converta cada um dos seguintes números para o seu equivalente decimal: a)

A B f(a, B) = A + B. A f(a ) = A

Pensamento. "A escada da sabedoria tem os degraus feitos de números." (Blavatsky) Prof. MSc. Herivelto Nunes

Eletrônica Digital para Instrumentação

A Lógica e Álgebra de George Boole. Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3

(A1) As operações + e são comutativas, ou seja, para todo x e y em A, x + y = y + x e x y = y x

Nº de Questões. FATORAÇÃO Fatorar um polinômio significa escrever esse polinômio como uma multiplicação de dois ou mais fatores.

6. Análise Lógica Combinacional

Introdução à Computação: Álgebra Booleana

Notas em Álgebra Linear

Unidade 2 - Matrizes. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 9 de agosto de 2013

Acadêmico(a) Turma: Capítulo 2: MATRIZES

CAPÍTULO 4 CIRCUITOS COMBINACIONAIS

Uma fração é algébrica se seu numerador e seu denominador forem expressões algébricas.

Introdução à Informática. Funções Lógicas. Ageu Pacheco e Alexandre Meslin

3. Computadores Industriais

Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. Aplicar as propriedades dos anéis na relação de problemas.

Exercício Obtenha, em cada caso, o módulo, o argumento e a forma trigonométrica de z: a) z = 1 + i. setor Aula 31. ρ = 1 2 +( 3 ) 2 ρ= 2.

Álgebra de Boole e Teorema de De Morgan Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h

Ministério da Educação Secretaria de Educação Profissional e Tecnológica Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul

Circuitos Lógicos Capítulo 3 Portas Lógicas e Álgebra Booleana Parte II

Geometria Analítica e Álgebra Linear

Notas de Aulas de Matrizes, Determinantes e Sistemas Lineares

ÁLGEBRA LINEAR AULA 4

INSTITUTO FEDERAL DE SANTA CATARINA CAMPUS JOINVILLE CURSO TÉCNICO DE ELETROELETRÔNICA ELETRÔNICA DIGITAL. Prof. M. Sc. Mauricio Martins Taques

MATRIZES. Conceitos e Operações

REVISÃO 9º ANO - MATEMÁTICA MATEMÁTICA - PROF: JOICE

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Tabela 1 - Minitermos e Maxtermos para uma função de 3 variáveis.

Álgebra de Boole. Álgebra de Boole - axiomas

Equipe de Matemática MATEMÁTICA. Matrizes

Sistemas Digitais Universidade Católica do Salvador Professor Marco Antônio C. Câmara. Aula 03 Simplificação de Expressões Lógicas.

1 Conjuntos, Números e Demonstrações

Automação Industrial Parte 8

SISTEMAS DIGITAIS ÁLGEBRA BOOLEANA. Professor Carlos Muniz

SCE Elementos de Lógica Digital I

Eduardo. Matemática Matrizes

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César

Transcrição:

Postulado da complementação ҧ ҧ ҧ Chamaremos A de o complemento de A 1) Se A = 0 A = 1 2) Se A = 1 A = 0 LOGO ഥA = A 1) Se A = 0, temos ҧ A = 1 ҧ ҧ A = 0 2) Se A = 1 temos ҧ A = 0 ҧ ҧ A = 1

Regras da adição Postulado da adição 1) 0 + 0 = 0 2) 0 + 1 = 1 3) 1 + 0 = 1 4) 1 + 1 = 1 LOGO A + 0 = A 1) Se A = 0, temos 0 + 0 = 0 2) Se A = 1 temos 1 + 0 = 1 Notamos que o resultado será sempre igual à variável A

Postulado da adição LOGO A + 1 = 1 1) Se A = 0, temos 0 + 1 = 1 2) Se A = 1 temos 1 + 1 = 1 Notamos que se somamos 1 a variável, o resultado será sempre 1

Postulado da adição LOGO A + A = A 1) Se A = 0, temos 0 + 0 = 0 2) Se A = 1 temos 1 + 1 = 1 Notamos que se somarmos a mesma variável, o resultado será ela mesma.

Postulado da adição LOGO A + ഥA = 1 1) Se A = 0, temos 0 + 1 = 1 2) Se A = 1 temos 1 + 0 = 1 Notamos que somamos a uma variável o seu complemento, teremos como resultado 1

Postulado da multiplicação Regras da multiplicação 1) 0. 0 = 0 2) 0. 1 = 0 3) 1. 0 = 0 4) 1. 1 = 1 LOGO A. 0 = 0 1) Se A = 0, temos 0. 0 = 0 2) Se A = 1 temos 1. 0 = 0 Notamos que o todo número multiplicado por 0 é 0

Postulado da multiplicação LOGO A. 1 = A 1) Se A = 0, temos 0. 1 = 0 2) Se A = 1 temos 1. 1 = 1 Notamos que o resultado destas expressões numéricas será sempre igual a A.

Postulado da multiplicação LOGO A. A = A 1) Se A = 0, temos 0. 0 = 0 2) Se A = 1 temos 1. 1 = 1 Notamos que os resultados serão sempre iguais a A

Postulado da multiplicação LOGO A. ഥA = 0 1) Se A = 0, temos 0. 1 = 0 2) Se A = 1 temos 1. 0 = 0 Notamos que para ambos os valores possíveis que a variável pode assumir, o resultado da expressão será sempre 0

Propriedade comutativa Esta propriedade é valida tanto na adição, bem como na multiplicação: Adição A + B = B + A Multiplicação A. B = B. A

Propriedade associativa Esta propriedade é valida tanto na adição, bem como na multiplicação: Adição A + B + C = A + B + C = A + B + C Multiplicação A. B. C = A. B. C = A. B. C

Propriedade distributiva Vamos verificar esta propriedade através da tabela verdade, analisando todas as possibilidades: A. B + C = A. B + (A. C)

Propriedade distributiva A. B + C = A. B + (A. C) A B C A(B+C) A.B A.C A.B+A.C 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 Notamos que pela tabela, as expressões se equivalem

Teoremas de Morgan Muito empregados na prática, em simplificações booleanas e, ainda, no desenvolvimento de circuitos digitais. Augustus De Morgan, nascido em Madura, Índia, 27 de junho de 1806

1º Teoremas de Morgan O complemento do produto é igual a soma dos complementos: A. B = ഥA + ഥB A B ഥA + ഥB A. B 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 Notamos a igualdade de ambas as colunas

1º Teoremas de Morgan O teorema pode ser estendido para mais de duas variáveis: A. B. C N = ഥA + ഥB + ഥC + + ഥN

1º Teoremas de Morgan O complemento da soma é igual ao produto dos complementos: A + B = ഥA. ഥB A B ഥA. ഥB A + B 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 Notamos a igualdade de ambas as colunas

1º Teoremas de Morgan O teorema pode ser estendido para mais de duas variáveis: A + B + C + + N = ഥA. ഥB. ഥC.. ഥN

Identidades auxiliares 1) A + A. B = A Propriedade distributiva A(1 + B) Do postulado da soma temos 1 + B = 1 Logo A 1 + B = A. 1 = A

Identidades auxiliares 2) A + B. A + C = A + (B. C) Propriedade distributiva A. A + A. C + B. A + B. C Identidade A. A = A Logo A. 1 + B + C + B. C Identidade 1 + B = 1 1 + C = 1 Logo A. 1 + B. C = A + (B. C)

Identidades auxiliares 3) A + ഥA. B = A + B Identidade A + ഥA. B = A + ഥA. B 2º teorema de Morgan ഥA. (ഥA. B) 1º teorema de Morgan ഥA. (A + ഥB) distributiva ഥA. A + ഥA. ഥB) Identidade ഥA. A = 0

3) A + ഥA. B = A + B Identidades auxiliares CONTINUANDO 0 + ഥA. ഥB = ഥA. ഥB Primeiro teorema de Morgan ഥA + ഥB A + B

Simplificação de expressões booleanas Utilizando o conceito da álgebra de boole, podemos simplificar expressões e consequentemente circuitos. Vamos simplificar o circuito a seguir: S = A. B. C + A. ഥC + A. ഥB S = A. B. C + ഥC + ഥB S = A. B. C + (C + ഥB) S = A. B. C + (C. B)

Simplificação de expressões booleanas Chamando B.C de Y S = A. Y + ഥY Como: Y + ഥY = 1 S = A LOGO S = A. B. C + A. ഥC + A. ഥB = A Esta expressão mostra a importância da simplificação e consequentemente a minimização do circuito.

Simplificação de expressões booleanas Outro exemplo S = ഥA. ഥB. ഥC + ഥA. B. ഥC + A. ഥB. C Sabendo: LOGO S = ഥA. ഥC ഥB + B + A. ഥB. C ഥB + B = 1 S = ഥA. ഥC + A. ഥB. C

S = C. (A + ഥB) = ഥC + ഥA. B EXEMPLO 1 S = ഥA. ഥB. ഥC + ഥA. B. C + ഥA. B. ഥC + A. ഥB. ഥC + A. B. ഥC S = ഥC. (ഥA. ഥB + ഥA. B + A. B + A. ഥB) + ഥA. B. C S = ഥC. (ഥA. (ഥB + B) + A. (ഥB + B)) + ഥA. B. C S = ഥC. (ഥA + A) + ഥA. B. C S = ഥC + ഥA. B. C = C. (A + ഥB + ഥC)

EXEMPLO 2 S = A + B + C. (ഥA + ഥB + C) S = A. ഥA + A. ഥB + A. C + +B. ഥA + B. ഥB + B. C + +C. ഥA + C. ഥB + C. C S = A. ഥB + A. C + B. ഥA + B. C + C. ഥA + C. ഥB + C S = A. ഥB + B. ഥA + C. (A + B + ഥA + ഥB + 1) S = A. ഥB + B. ഥA + C

EXEMPLO 3 S = (A. C + B + D) + C. A. C. D S = (ഥA + ഥC + B + D) + C. ഥA + ഥC + ഥD S = (A. C. ഥB. ഥD) + C. ഥA + C. ഥC + C. ഥD S = (A. C. ഥB. ഥD) + C. ഥA + C. ഥD S = C. ഥD(A. ഥB + 1) + C. ഥA S = C. ഥD + C. ഥA

EXEMPLO 4 A partir da expressão (A B) obtenha A B S = (A B) = (ഥA. ഥB + AB) S = (ഥA. ഥB). (A. B) S = (A + B). (ഥA + ഥB) S = A. ഥA + A. ഥB + B. ഥA + B. ഥB S = A. ഥB + B. ഥA = A B

EXEMPLO 5 Obtenha o circuito simplificado que executa a expressão: S = (A B) (B. (A + ഥC) + ഥD(ഥA + B + ഥC) S = A B B. A + B. ഥC + ഥD. A. ഥB. C) S = (A B) ഥB + ഥA. ഥB + C. (D + ഥA + B + ഥC) S = (ഥA. B + A. ഥB) ഥB + ഥA. ഥB + C. (D + ഥA + B + ഥC) S = ഥA. B. ഥB + A. ഥB. ഥB + ഥA. B. ഥA + A. ഥB. ഥA. ഥB + C. (D + ഥA + B + ഥC) S = A. ഥB + ഥA. B. ഥB + C. (D + ഥA + B + ഥC)

EXEMPLO 5 S = A. ഥB + ഥA. B. ഥB + C. (D + ഥA + B + ഥC) S = A. ഥB + ഥA. B. ഥB. D + ഥB. ഥA + ഥB. B + ഥB. ഥC + C. D + C. ഥA + C. B + CഥC S = A. ഥB + ഥA. B. ഥB. D + ഥB. ഥA + ഥB. ഥC + C. D + C. ഥA + C. B S = A. ഥB. ഥB. D + A. ഥB. ഥB. ഥA + A. ഥB. ഥB. ഥC + A. ഥB. C. D +A. ഥB. C. ഥA + A. ഥB. C. B + ഥA. B. ഥB. D + ഥA. B. ഥB. ഥA + ഥA. B. ഥB. ഥC + ഥA. B. C. D + ഥA. B. C. ഥA + ഥA. B. C. B

EXEMPLO 5 S = A. ഥB. D + A. ഥB. ഥC + A. ഥB. C. D +ഥA. B. C. D + ഥA. B. C + ഥA. B. C S = A. ഥB. D + A. ഥB. ഥC + A. ഥB. C. D +ഥA. B. C. (D + 1 + 1) S = A. ഥB. (D + ഥC + C. D) + ഥA. B. C S = A. ഥB. (ഥC + D. (1 + C)) + ഥA. B. C S = A. ഥB. (ഥC + D) + ഥA. B. C S = A. ഥB. ഥC + A. ഥB. D + ഥA. B. C

EXEMPLO 5 Obtenha o circuito simplificado que executa a expressão: S = (A B) (B. (A + ഥC) + ഥD(ഥA + B + ഥC) S = A. ഥB. ഥC + A. ഥB. D + ഥA. B. C

Exercício Simplifique as expressões utilizando a álgebra de boole 3.10.1.a) S = A. B. ഥC + ഥA. ഥB. C + A. B. C + ഥA. B. C + ഥA. B. ഥC 3.10.1.b) S = A. B. ഥC. D + ഥA. ഥB. C. ഥD + A. B. ഥC. ഥD +ഥA. B. C. ഥD + A. B. C. ഥD + A. ഥB. C. ഥD + A. B. C. D Não precisa ENTREGAR, mas precisa estudar

Exercício Simplifique as expressões utilizando a álgebra de boole 3.10.2) S = ഥB + ഥC + ഥD. ഥA + B + C + C + ഥA. ഥB. C + ഥB. A + C Não precisa ENTREGAR, mas precisa estudar

Exercício Simplifique as expressões utilizando a álgebra de boole 3.10.3) S = A. ഥB. C + D + ഥA. B + C + C. ഥD + A. ഥB. C + A. B Não precisa ENTREGAR, mas precisa estudar

Exercício Simplifique as expressões utilizando a álgebra de boole 3.10.4) S = A B + ഥB. C. ഥD. ഥD + ഥB. C + D. (ഥA + B) + ഥA. ഥD Não precisa ENTREGAR, mas precisa estudar

Exercício Simplifique as expressões utilizando a álgebra de boole 3.10.5) S = B. +C. ഥD + ഥD + A. C. A + ഥB + ഥC + ഥB(C + ഥA. B. C + A. C). A + B Não precisa ENTREGAR, mas precisa estudar

Exercício Simplifique as expressões utilizando a álgebra de boole E desenhe o circuito simplificado. 3.10.6) S = ഥB + ഥD. ഥB + C D + ഥA(B. ഥC + ഥB. C + A + ഥB(ഥC + ഥD)) ENTREGAR