Aplica O Da L Gica Proposicional Em Circuitos El Tricos

Aplicação da lógica proposicional em circuitos lógicos
Bruna Nantes da Costa
2014.1905.005-2
Lucas Oliveira Pimenta dos Reis
2014.1905.019-2
Tiago Rezende Lopes
2014.1905.023-0

Victória Serra de Lima Moraes
2014.1905.027-3
William Felipe da Cunha Tavares
2014.1905.037-0

Engenharia de Computação - UFMS

Resumo — Esse trabalho aborda o vínculo entre a matemática discreta e os sistemas digitais, abordando o conceito de portas lógicas e sua direta interação com a expressão booleana. Um circuito lógico pode ser facilmente deduzido a partir de sua respectiva função booleana e vice-versa. Com a utilização de tabelas verdade, é possível notar a entrada de correntes elétricas e seu comportamento ao longo do circuito. Com a substituição de portas específicas, o circuito pode tornar-se mais prático, diminuindo, assim, o tempo de cálculo necessário e implementando-o.
Palavras-chave – Circuitos Lógicos; Portas Lógicas; Matemática Discreta; Sistemas Digitais; Expressões Booleanas; Correntes Elétricas.
I. Introdução
No intuito de capacitar os alunos de Engenharia de Computação no âmbito de circuitos lógicos, a disciplina de Introdução a Sistemas Digitais propõe solucionar problemas do ramo utilizando o estudo de lógica proposicional aplicada. A lógica proposicional, também conhecida como expressão booleana, é constituída por um sistema formal no qual há dois conjuntos - um de expressões sintáticas e um de regras formais - que definem uma relação binária específica, entre essas expressões, na qual se pretende interpretar com a noção de equivalência lógica, no espaço de circuitos elétricos.
Por álgebra boolena compreendemos um conjunto A, para cujos elementos valem duas operações binárias, soma e multiplicação, e uma singular, negação, com dois elementos binários (0 e 1).
O processo de resolução de problemas na lógica proposicional consiste em: um conjunto de símbolos primitivos, dados, neste trabalho e na área de sistemas digitais, por 0 (representando falso) e 1