1

LGICA E MATEMTICA DISCRETA

Lgica de Proposies e Circuitos

O computador uma mquina discreta e como tal o seu
funcionamento interno no nvel de hardware pode ser representado por uma
combinao de smbolos proposicionais.
Cada smbolo representaria uma entrada e os diversos componentes
seriam os conectivos lgicos. Desta forma, uma funo de avaliao do valor
lgico de uma frmula com n variveis pode ser entendida como uma
resposta a n entradas de um circuito. Como em circuito, uma entrada pode
estar ligada ou desligada, esses estados corresponderiam a V e F,
respectivamente.
Por restries das leis de eletricidade, necessitamos de mais
conectivos lgicos para que possamos representar situaes mais realistas
de um circuito. Por exemplo, um curto circuito acontece quando um
componente recebe duas entradas de corrente e combina ambas, quando
no deveria. Veremos agora alguns desses conectivos extras e suas tabelas
verdade. Em seguida veremos alguns exemplos de circuitos e frmulas
proposicionais.
Portas Lgicas e Circuitos
nand - esta porta s tem sada verdadeira (V) se pelo menos uma das
entradas for F. Isto , seu comportamento exatamente o oposto da
conjuno ( ) como mostra a Tabela 2.8, isto P Q logicamente
equivalente a ~(P nand Q).

nor - esta porta s tem sada verdadeira se ambas as entradas forem falsas.
Ou seja, ela se comporta de forma oposta ao conectivo da disjuno ( )
como
podemos observar na Tabela 2.9. Logo, P Q logicamente equivalente a
~(P nor Q).

xor - Esta porta s tem sada verdadeira quando as entradas possurem valores
verdade distintos. Essa forma de disjuno conhecida como ou exclusivo,como
mostra a Tabela .

Precisamos agora relacionar os diagramas ou esquemas lgicos desses

conectivos com suas representaes grficas para podermos transformar
diagramas em frmulas proposicionais. Lembramos que o objetivo de
representarmos circuitos lgicos em lgica que podemos provar propriedades
dos mesmos. Por exemplo, podemos provar se para certa configurao de
entrada vamos ter a sada de sinal que desejamos. No iremos a fundo nessas
questes, pois so matrias de cursos mais avanadas, embora vejamos
alguns exemplos simples sobre esta utilidade da lgica proposicional.
A Figura 2.8 mostra as representaes grficas dos conectivos (a) conjuno,
(b) disjuno, (c) negao, (d) nand, (e) nor e (f) xor.

Exemplos de como representar circuitos usando Lgica Proposicional

Exemplo 1. O comportamento do circuito mostrado na Figura 2.9
determinado pelas entradas A e B, e pelas sadas C e D.
Um meio eficaz de traduzirmos um diagrama para sua representao em lgica
comearmos identificando as sub-frmulas a partir das sadas.
Neste exemplo, temos que a ltima porta antes da sada C uma conjuno .
Logo, este ser o conectivo mais externo e C dever ter o formato .
Agora, vamos encontrar e . A entrada mais abaixo resultado de uma porta
or que conecta uma das derivaes de A e a outra uma das derivaes de
B. Ento, = A B.

Observe na Figura 2.9 que tem outra derivao que vai para a porta not.
Logo, a sada D ser ~(A B). J o resultado de uma porta nor, que tem
como uma de suas entradas uma terceira derivao do A.
Isto , = A nor . J o resultado de uma outra porta nor, e esta tem por
entrada A e B. Portanto, = (A nor B) e = A nor (A nor B).

A tabela verdade

Exemplo 2:Suponha que se deseje representar uma tomada que controle, com
dois interruptores P e Q,para uma lmpada. Cada interruptor pode ligar (V) ou
desligar (F) a luz. Vamos assumir que a lmpada est ligada somente quando
ambos interruptores esto V ou F. O Comportamento dessa tomada
representada pela fun de avaliaoo mostrada na Tabela .

Essa tabela verdade representa o comportamento do circuito dado pela frmula

(P Q) ((~P) (~Q)), que logicamente equivalente a P Q.
Uma representao de circuitos para esta frmula mostrada na Figura 2.11.
Para transformar essa frmula em diagrama eltrico de circuitos basta fazer a
correspondncia de com componentes (argumentos da conjuno) em srie,
e corresponde a componentes em paralelo.