Engenharia de Computação

Lógica para Computação – 2018/1

Prof. Fernando J. Muchalski

Lista de Exercícios 3 – Lógica Proposicional – Portas Lógicas

Portas lógicas, muito utilizadas em eletrônica digital, são dispositivos que operam um ou mais sinais lógicos de entrada
para produzir uma saída. Por exemplo, uma porta AND é equivalente a A˄B. Para os próximos exercícios, usaremos as
seguintes portas lógicas:

1) Qual seria a fórmula desse circuito?

Se colocarmos um LED na saída desse circuito,

qual seria uma combinação das portas A, B, C e D
que acenderia o LED?

2) Dada a fórmula (( ∨ ) ∧ ) → (( ∧ ) ∨ ) construa um circuito que represente-a. (Dica: use o que concluiu-se
na primeira questão do exercício 2 para criar uma porta “implica”, usando apenas OR e NOT)

3) Classifique esse circuito quanto a sua validade, satisfabilidade, falsificabilidade ou insatisfabilidade, construindo para
isso sua tabela verdade

4) O circuito a seguir controla 4 LEDS usando apenas duas entradas através de portas lógicas.

Escreva as fórmulas de cada LED e suas respectivas tabelas-verdade.