eletronica digital
Verificação Expressões Booleanas
Disciplina: Circuitos Digitais I
Professor: Flávio Ramires
Laboratório: Eletrônica Analógica e Digital I
Experimento: Verificação das Expressões Booleanas
Sumário
Sumário 2
Objetivos 2
Introdução 3
Pré-relatório 4
Procedimento Experimental 6
Conclusão 6
Questionário 6
Materiais 6
Bibliografia 7
Objetivos
Verificar se os resultados da materialização de expressões booleanas vão ao encontro do teoricamente definido
Introdução
Na matemática e na ciência da computação, as álgebras booleanas ( também conhecida como “Álgebra de Boole”) são estruturas algébricas que “capturama essência” das operações lógicas E, OU, e NÃO, bem como das operações da teoria de conjuntos soma, produto e complemento. Ela também é o fundamento da matemática computacional, baseada em números binários.
Receberam o nome de George Boole, matemático inglês, que foi o primeiro a defini-las como parte de um sistema de lógica em meados do século XIX. Mais especificamente, a álgebra booleana foi uma tentativa de utilizar técnicas algébricas para lidar com expressões no cálculo proporcional. Hoje, as álgebras booleanas têm muitas aplicações na eletrônica. Foram pela primeira vez aplicadas a interruptores por Claude Shannon, no século XX.
Os operadores da álgebra booleana podem ser representados de várias formas. É frequente serem simplesmente escritos como E, OU ou NÃO (são mais comuns os seus equivalentes em inglês: AND), NOR ( NOT OR) e XOR (OR exclusivo). Os matemáticos usam com frequência + para OU e . para E (visto que sob alguns aspectos estas operações são análogas à adição e multiplicação noutras estruturas algébricas) e representam NÃO com uma linha traçada sobre a expressão que está a ser negada.
Postulados:
Pré-relatório
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