Lógica combinatória (sistemas digitais)

Na teoria de circuitos digitais, lógica combinatória é um tipo de lógica digital que é implementada via circuitos booleanos, em que a saída é uma função pura exclusivamente da entrada atual. Essa última característica a diferencia da lógica sequencial, em que a saída depende não só da entrada atual, mas também do histórico dessa entrada. Em outras palavras, lógica sequencial tem memória, enquanto que a lógica combinacional não.

A lógica combinatória é usada em circuitos de computador para fazer álgebra booleana em sinais de entrada e em dados armazenados. Na prática, circuitos de computador normalmente contêm uma mistura de lógicas combinatória e sequencial, por exemplo: a parte de uma unidade lógica e aritmética (ULA) que faz cálculos matemáticos é construída com o uso de lógica combinatória.

Representação

A lógica combinatória é usada para construir circuitos em que certas saídas são desejadas, tomando certas entradas. A construção de lógica combinatória é geralmente feita pelo uso de dois métodos: ou uma soma de produtos, ou um produto de somas. Uma soma de produtos pode ser facilmente visualizada através de uma tabela verdade:

A {\displaystyle A} B {\displaystyle B} C {\displaystyle C} Resultado Equivalente lógico
F F F F ¬ A ¬ B ¬ C {\displaystyle \neg A\cdot \neg B\cdot \neg C}
F F V F ¬ A ¬ B C {\displaystyle \neg A\cdot \neg B\cdot C}
F V F F ¬ A B ¬ C {\displaystyle \neg A\cdot B\cdot \neg C}
F V V F ¬ A B C {\displaystyle \neg A\cdot B\cdot C}
V F F V A ¬ B ¬ C {\displaystyle A\cdot \neg B\cdot \neg C}
V F V F A ¬ B C {\displaystyle A\cdot \neg B\cdot C}
V V F F A B ¬ C {\displaystyle A\cdot B\cdot \neg C}
V V V V A B C {\displaystyle A\cdot B\cdot C}

Usando a soma de produtos, tomamos a soma de todas as proposições lógicas que produzam resultados verdadeiros. Assim nosso resultado seria:

A ¬ B ¬ C + A B C {\displaystyle A\cdot \neg B\cdot \neg C+A\cdot B\cdot C\,}

Que poderia então ser simplificado com o uso de álgebra booleana:

A ( ¬ B ¬ C + B C ) {\displaystyle A\cdot (\neg B\cdot \neg C+B\cdot C)\,}

Minimização de fórmulas lógicas

A minimização (simplificação) de lógica combinatória é produzida com base nas seguintes regras:

( A + B ) ( A + C ) = A + ( B C ) , ( A B ) + ( A C ) = A ( B + C ) ; {\displaystyle (A+B)\cdot (A+C)=A+(B\cdot C),\quad (A\cdot B)+(A\cdot C)=A\cdot (B+C);}
A + ( A B ) = A , A ( A + B ) = A ; {\displaystyle A+(A\cdot B)=A,\quad A\cdot (A+B)=A;}
A + ( ¬ A B ) = A + B , A ( ¬ A + B ) = A B ; {\displaystyle A+(\lnot A\cdot B)=A+B,\quad A\cdot (\lnot A+B)=A\cdot B;}
( A + B ) ( ¬ A + B ) = B , ( A B ) + ( ¬ A B ) = B . {\displaystyle (A+B)\cdot (\lnot A+B)=B,\quad (A\cdot B)+(\lnot A\cdot B)=B.}

Graças à minimização, a função lógica é simplificada, e o circuito torna-se mais compacto e conveniente para a realização.

Ver também

Referências

  • Combinational Logic & Systems Tutorial Guide por D. Belton, R. Bigwood. [inglês]
  • v
  • d
  • e
Sistemas digitais
Componentes
Teoria
Aplicações
Página de categoria Eletrônica digital
Controle de autoridade
  • Wd: Q76505
  • GND: 4052053-5
  • LCCN: sh2007000413
Ícone de esboço Este artigo sobre computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e