Estudo e Construção de Portas Lógicas Paraconsistentes

Nome do Orientador: Alexandre Fonseca Jorge

Nome do Aluno: Gustavo Henrique Dos Santos e Silva

Resumo: A lógica paraconsistente difere da lógica clássica binária, por apresentar múltiplos valores para um determinado dado, além do verdadeiro (1) e falso (0). Isso a torna mais adequada para tratar de problemas do mundo real, nos quais podem existir situações de inconsistências, contradições e conflitos. Este trabalho propõe o estudo, simulação e a implementação de portas lógicas básicas segundo uma lógica paraconsistente, segundo duas abordagens: a construção das portas lógicas diretamente a partir de circuitos eletrônicos a transistores, e a construção das portas lógicas a partir de circuitos combinacionais binários equivalentes. Será feita uma análise comparativa das duas abordagens, e espera-se obter portas lógicas que possam ser utilizadas como elementos construtivos básicos de circuitos lógicos paraconsistentes mais complexos em projetos futuros.

Modalidade: PIBIFSP

Vigência: 01/03 a 30/11 de 2017