Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas.

• Ano de defesa: 1997
• Autor(a) principal: Silva Filho, João Inácio da
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Circuitos lógicos; Logic circuits
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3140/tde-08102024-103937/

Neste trabalho é apresentada uma nova família de portas lógicas digitais projetadas para receber e responder a sinais lógicos interpretados a partir da semântica das lógicas Paraconsistentes Anotadas. As lógicas Paraconsistentes pertencem ao grupo das chamadas lógicas não-clássicas e diferem das lógicas convencionais por aceitarem a existência de sinais contraditórios ou inconsistentes de um modo não trivial. Nas lógicas paraconsistentes estas contradições ou inconsistências são convenientemente tratadas, produzindo como resultante o sinal que mais se aproxima do verdadeiro, dando a este, um certo grau de crença ou valoração. As portas lógicas e os circuitos aqui apresentados, foram projetados especialmente para que traduzam em sinais lógicos eletrônicos, os estudos prévios desenvolvidos das Lógicas Paraconsistentes Anotadas. Demonstra-se que os circuitos das portas lógicas paraconsistentes que foram projetados são plenamente compatíveis a qualquer circuito que utilize a lógica convencional binária e o paraconsistente. Portanto, os circuitos implementados com a Lógica Paraconsistente não têm a pretensão de substituir os circuitos eletrônicos digitais convencionais, mas, a sua principal aplicabilidade é nos casos em que a lógica binária se torna ineficiente, ou até mesmo impossível de ser aplicada. A \"compatibilidade\" da Lógica Paraconsistente com a lógica convencional possibilita o funcionamento em harmonia dos dois sistemas digitais: obinário e o paraconsistente. Com base na interpretação teórica da Lógica Paraconsistente Anotada foram extraídas as tabelas-verdades, possibilitando que fossem implementados os circuitos das portas lógicas paraconsistentes básicas. Estas portas lógicas primitivas foram denominadas de: Operadores n, Operador Complemento Paraconsitente, Conectivo AND Paraconsistente e Conectivo OR Paraconsistente. ) Utilizando-se as portas lógicas primitivas aqui implementadas é apresentado um circuito, denominado Módulo Analisador Paraconsistente (MAP), que trata os sinais paraconsistentes, conforme a proposta teórica básica dass lógicas Paraconsistentes Anotadas. Este circuito é projetado utilizando-se principalmente das portas lógicas primitivas. Com a aplicação dos circuitos das portas lógicas paraconsistentes abrem-se possibilidades de se projetar circuitos mais complexos, tratando convenientemente as inconsistências que sempre aparecem em sistemas lógicos digitais. Todos os circuitos aqui apresentados foram projetados utilizando-se a técnica full custom para um processo digital CMOS de 1,2 \'mü\'m, e as simulações foram feitas para o funcionamente numa freqüência típica de 50 Mhz.