Eletrônica digital

Introdução
• Funções lógicas: que define as bases para a representação de informações não numéricas em circuitos digitais.
• Álgebras de Boole: que apresentam um formalismo matemático para a representação lógica em circuitos digitais.
• Formas padrões para representação de expressões booleanas: que define formas de expressões booleanas adequadas ao processo de simplificação das mesmas.
• Simplificação algébrica de expressões booleanas: que ilustra um processo algébrico para a simplificação de expressões booleanas.
• Mapa de Karnaugh: que apresenta uma ferramenta sistemática para a simplificação de
Expressões booleanas.
Funções lógicas
•A manipulação de informações pode ser dividida em três partes básicas: a obtenção dos dados, o processamento desses dados e a geração de novos dados.
• Toda ação envolve, de certa forma, tomadas de decisão.
• Compreender o raciocínio humano que rege as tomadas de decisão possibilita que o mecanismo seja implantado em sistemas artificiais.
• A lógica pode ser vista como um ramo de estudos da matemática que fornece elementos para a tentativa de modelagem do raciocínio humano.
• A lógica formal fornece uma linguagem estruturada para a definição e a manipulação de argumentos.
• Argumentos são conjuntos de enunciados, dos quais um deles e definido como conclusão e os demais como premissas.
• Quanto à validade, os argumentos podem ser divididos em: dedutivos e indutivos.
• Em um argumento dedutivo, premissas verdadeiras conduzem a uma conclusão verdadeira.
• Nos argumentos indutivos, premissas verdadeiras não garantem uma conclusão verdadeira.
• A lógica dedutiva pode ser dividida em: clássica, complementar, e não clássica.
• Atualmente, a lógica clássica e mais conhecida como Cálculo de Predicados de Primeira Ordem.
• Exemplos de lógica complementar são: modal, deôntica e epistêmica.
• Alterando-se os princípios da lógica-clássica, surgem as lógicas não clássicas. Alguns exemplos são: para completas, intuicionistas,