Álgebra Booleana e Aplicações



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

SISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar

Notas de Aula - Álgebra de Boole Parte 1

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola

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

Revisão para a Bimestral 8º ano

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

Portas Lógicas Básicas Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h

Introdução. de Eletrônica Digital (Parte II) Universidade Federal de Campina Grande Departamento de Sistemas e Computação. Carga Horária: 60 horas

Projeto de Circuitos. Introdução ao Computador 2008/01 Bernardo Gonçalves

Circuitos Digitais. Engenharia de Automação e Controle Engenharia Elétrica. São Paulo Prof. José dos Santos Garcia Neto

Introdução às Equações Diferenciais

Capítulo 2. Álgebra e imagens binárias. 2.1 Subconjuntos versus funções binárias

Exercícios Teóricos Resolvidos

Breve referência à Teoria de Anéis. Álgebra (Curso de CC) Ano lectivo 2005/ / 204

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

Matemática - UEL Compilada em 18 de Março de Prof. Ulysses Sodré Matemática Essencial:

Outras Realidades. Ou: Quão bem conhecemos as nossas operações elementares?

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

Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,...

AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO. Escola Básica e Secundária Dr. Vieira de Carvalho. Departamento de Ciências Experimentais

Equação do 1º Grau. Maurício Bezerra Bandeira Junior

Funções Lógicas e Portas Lógicas

Falso: F = Low voltage: L = 0

Programa de Formação Contínua em Matemática para Professores do 1.º e 2.º Ciclos do Ensino Básico. I. Conjuntos

a 1 x a n x n = b,

II. DEFINIÇÕES INICIAIS 1

ANÁLISE DE CIRCUITOS RESISTIVO DC (03/12/2013)

MD Teoria dos Conjuntos 1

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v /15

Aula: Equações polinomiais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR

Aplicações de Combinatória e Geometria na Teoria dos Números

Circuitos Lógicos Portas Lógicas

O matemático indiano Pingala apresentou a primeira descrição conhecida de um sistema numérico binário no século III a.c..

Uma expressão matemática que apresenta números e letras ou somente letras, é denominada expressão algébrica

Plano Curricular de Matemática 9º ano /2015-3º Ciclo

CAPÍTULO 6 TRANSFORMAÇÃO LINEAR

MÓDULO 6 ÁRVORE DE FALHAS. Curso de Especialização em Transporte Ferroviário de Carga

O ESPAÇO NULO DE A: RESOLVENDO AX = 0 3.2

Francisco Ramos. 100 Problemas Resolvidos de Matemática

Capítulo 1. x > y ou x < y ou x = y

Matemática. Disciplina: CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS. Varginha Minas Gerais

Raciocínio Lógico Matemático Caderno 1

3 Sistemas de Numeração:

Cálculo das Probabilidades e Estatística I

Sistemas Lineares. Módulo 3 Unidade 10. Para início de conversa... Matemática e suas Tecnologias Matemática

Estudos Técnicos de Componentes e Periféricos (ETCP) Prof. Mauricio ETCP

Universidade Estadual de Santa Cruz. Departamento de Ciências Exatas e Tecnológicas. Especialização em Matemática. Disciplina: Estruturas Algébricas

1 Fundamentos da Computação Prof. Bruno Guilhen

Algoritmos e Linguagens de Programação. Álgebra Booleana. Faculdade Pitágoras Prof. Edwar Saliba Júnior Abril de Unidade Álgebra Booleana

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

Departamento de Matemática - UEL Ulysses Sodré. Arquivo: minimaxi.tex - Londrina-PR, 29 de Junho de 2010.

MÓDULO N.º 1 SISTEMAS DE NUMERAÇÃO HORAS / TEMPOS CONTEÚDOS OBJETIVOS AVALIAÇÃO

Números Complexos. Capítulo Unidade Imaginária. 1.2 Números complexos. 1.3 O Plano Complexo

QUESTÕES COMENTADAS E RESOLVIDAS

A equação do 2º grau

ESPAÇOS MUNIDOS DE PRODUTO INTERNO

MÉTODOS DISCRETOS EM TELEMÁTICA

. Determine os valores de P(1) e P(22).

INSTITUTO TECNOLÓGICO

A linguagem matemática

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

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.

BOM DIA!! ÁLGEBRA. Aula 3 COM JENNYFFER LANDIM. jl.matematica@outlook.com

Polos Olímpicos de Treinamento. Aula 2. Curso de Teoria dos Números - Nível 2. Divisibilidade II. Prof. Samuel Feitosa

Uma lei que associa mais de um valor y a um valor x é uma relação, mas não uma função. O contrário é verdadeiro (isto é, toda função é uma relação).

Álgebra Linear. André Arbex Hallack Frederico Sercio Feitosa

caderno Matemática Matemática e suas Tecnologias ELABORAÇÃO DE ORIGINAIS

Universidade Federal do ABC. Sinais Aleatórios. Prof. Marcio Eisencraft

MATEMÁTICA BÁSICA E CALCULADORA

George Boole ( ) Claude Shannon

Currículo da Disciplina de Matemática - 7º ano. Funções, Sequências e Sucessões (FSS) Organização e Tratamento de Dados (OTD)

Matemática - UEL Compilada em 18 de Março de Prof. Ulysses Sodré Matemática Essencial:

MATRIZES Matriz quadrada Matriz linha e matriz coluna Matriz diagonal Matriz identidade

PROFº. LUIS HENRIQUE MATEMÁTICA

Lógica Matemática e Computacional 5 FUNÇÃO

NIVELAMENTO 2007/1 MATEMÁTICA BÁSICA. Núcleo Básico da Primeira Fase

PROGRAMAÇÃO EM LINGUAGEM LADDER LINGUAGEM DE RELÉS

Disciplina: Introdução à Álgebra Linear

OTIMIZAÇÃO VETORIAL. Formulação do Problema

Símbolos Lógicos com Tabelas-Verdade

Portas lógicas e Circuitos. Marcos Monteiro, MBA

AULA 6 LÓGICA DOS CONJUNTOS

A ideia de coordenatização (2/2)

ANO LETIVO 2015 / 2016

POLINÔMIOS SIMÉTRICOS Carlos A. Gomes, UFRN, Natal RN.

1 Módulo ou norma de um vetor

Derivadas Parciais. Sumário. 1 Funções de Várias Variáveis. Raimundo A. R. Rodrigues Jr. 1 de agosto de Funções de Duas Variáveis.

Aula 7 Valores Máximo e Mínimo (e Pontos de Sela)

6. Geometria, Primitivas e Transformações 3D

Introdução Teórica Aula 3: Leis de Kirchhoff

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.

As fases na resolução de um problema real podem, de modo geral, ser colocadas na seguinte ordem:

PASSEIOS ALEATÓRIOS E CIRCUITOS ELÉTRICOS

Matemática Discreta para Computação e Informática

Portas Lógicas (continuação)

9. Derivadas de ordem superior

Transcrição:

Álgebra Booleana e Aplicações Adriano J. Holanda 20 de maio de 2014 Introdução. A Álgebra é o ramo da matemática em que símbolos são usados para representar números ou quantidades em fórmulas e equações. Por exemplo, as seguintes equações ax + b = 0, ax 2 + bx + c = 0, ax 3 + bx 2 + cx + d = 0, provenientes da Álgebra Elementar ou Convencional, possuem solução exata e podem ser utilizadas para resolver diversos problemas. A palavra Álgebra al jebr em arábico foi primeiro usada por Mohammed of Kharizm que ensinava matemática em Bagdá no século IV, e significa reunião de partes quebradas. Os sistemas matemáticos atuais são construídos a partir de axiomas, que são equações simples e fundamentais que não podem ou precisam ser provadas. O sistema axiomático teve como precursor o livro Os Elementos ( 300A.C.) do matemático Euclides que formulava 465 propriedades (teoremas) geométricas a partir de postulados (axiomas). Como exemplo, a seguinte premissa foi extraída do livro: Uma linha reta pode ser desenhada entre quaisquer dois pontos. Euclides postulou que as propriedades de um ponto não precisam ser demonstradas por serem instrísecas. Fora os axiomas, todas as demais propriedades (teoremas) devem ser provadas. Os matemáticos descobriram que qualquer sistema formal pode ser construído a partir de alguns poucos axiomas, tais como, a Teoria das Probabilidades, Geometria, Álgebra, dentre outros. Como exemplo de construção de um sistema axiomático poderíamos ter as seguintes leis de um conjunto A, que permite as operações e. 1. Comutativa: x y = y x; 1

2. Associativa: x (y z) = (x y) z; 3. Distributiva: x (y z) = (x y) (x z), x (y z) = (x y) (x z); 4. Identidade (Elemento neutro e): e e = x. A abstração e generalização destes sistemas permite a substituição dos símbolos por conceitos de uma área específica que satisfaçam os axiomas, sem a necessidade de se construir um novo sistema formal para cada nova área do conhecimento. 1 Álgebra Booleana Os fundamentos da Álgebra Booleana foram descritos no livro An Investigation of the Laws of Thought de George Boole, publicado em 1854 [1]. Sua primeira aplicação conhecida foi proposta por Shannon para modelar circuitos comutadores telefônicos baseados em relés [2]. Definições. Considere um tupla B, +,, 0, 1 em que B é um conjunto, + e são operações binárias em B; 0 e 1 são membros distintos de B. O sistema algébrico assim definido é uma Álgebra Booleana se satisfizer os seguintes axiomas (postulados): Axioma 1. Lei comutativa. x, y B : x + y = y + x x y = y x Axioma 2. Lei distributiva. x, y, z B : x + (y z) = (x + y) (x + z) x (y + z) = (x y) + (x z) Axioma 3. Lei da identidade (elemento neutro). x B : 0 + 1. Axioma 4. Lei do complemento. x B x B : x + x = 1 x.x = 0 Pode-se omitir o símbolo e reduzir o número de parênteses, assumindo que as multiplicações são realizadas antes das somas. 2

Teoremas Booleanos. Outras propriedades (teoremas) podem ser derivadas a partir destes axiomas, porém, estas devem ser provadas para serem consideradas válidas. Teorema 1. Elemento nulo. x B : x + 1 = 1 a 0 = 0 1 = 1 = x + x (A4) = x + xx(1) (A3) = (x + x)(x + 1) (A2) = 1(x + 1) (A4) = x + 1 (A3) 0 = 0 = xx (A4) = xx + 0 (A3) = xx + x 0 (A2) = 0 + x 0 (A4) = x 0 (A3) Teorema 2. Idempotência. x B : x + x = x + 0 (A3) = x + xx (A4) = (x + x)(x + x) (A2) = (x + x)(1) (A4) = (x + x) (A3) = x 1 (A3) = x(x + x) (A4) = (xx) + (xx) (A2) = xx + 0 (A4) = xx (A3) 3

Teorema 3. Absorção. x, y B : x + xy = x x (x + y) = x = 1x (A3) = (1 + y)x (T 1) = 1x + yx (A2) = x + yx (A3) = x + xy (A1) = 0 + x (A3) = 0y + x (T ) = (x + 0)(y + x) (A2) = x + (y + x) (A3) = x + (x + y) (A1) Teorema 4. Adsorção. x, y B : (x + y)y (x + y)x = (x + y)x = xx + xy (A2) = 0 + xy (A4) = xy (A3) x + xy = x + y x + xy = x + xy = (x + x)(x + y) (A2) = 1(x + y) (A4) = x + y (A3) Teorema 5. Associativa. x, y B : (x + y) + z = x + (y + z) 4

Leis de Morgan. O teorema a seguir foi enunciado por Augustus de Morgan em 1858. Teorema 6. x, y B : x + y = xy (x + y) + x + y = xy + (x + y) 1 = xy + (x + y) xy + (x + y) = xy + (x + y) = [(x + y) + x] + [(x + y) + y] (A2) = [y + (x + x)] + [x + (y + y)] (T 5) = [y + 1] + [x + 1] (T 1) = 1 + 1 (A3) = 1 xy = x + y (xy)xy = (x + y)(xy) 0 = (x + y)(xy) (x + y)(xy) = (x + y)(xy) = [x(xy)] + [y(xy)] = [(xx)y] + [x(yy)] (T 5) = [0y] + [x0] (T 1) = 0 + 0 (A3) = 0 5

Minimização ou simplificação de expressões Booleanas. Os axiomas e teoremas Booleanos podem ser utilizados para reduzir o número de termos e operações de uma expressão Booleana. Este processo de minimização ou simplificação, quando aplicado a circuitos, ajuda a encontrar o circuito mais econômico com relação ao número de componentes. Por exemplo, a expressão xyz + xyz pode ser simplificada da seguinte forma: f = xyz + xyz = xy(z + z) (A2) = xy(1) (A4) = xy (A3) O circuito montado a partir da expressão xy é equivalente a xyz + xyz, porém, requer um número menor de componentes. Os axiomas e teoremas utilizados para a simplificação estão entre parênteses. O mesmo acontece com a expressão (x+y)(x+y), que pode ser reduzida a y, aplicando os procedimentos a seguir: (x+y)(x+y) = xx+xy +yx+yy = 0+xy +xy +y = y(x+x+1) = y(1) = y Referências [1] George Boole. An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. Macmillan, 1854. [2] Claude Elwood Shannon. A symbolic analysis of relay and switching circuits. Master s thesis, Massachusetts Institute of Technology, 1937. 6