LÓGICA MATEMÁTICA II

LISTA DE EXERCÍCIOS - NP1

1. Prove as seguintes identidades utilizando tabelas-verdade:

a. ¬A · ¬B =/ ¬ (A · B)

b. ¬A + ¬B =/ ¬ (A + B)

c. ¬A · ¬B = ¬ (A + B)

d. ¬A + ¬B = ¬ (A · B)

2. Mostre a tabela verdade das seguintes expressões booleanas:

a. S = (A + B) · ¬ (B · C)

b. S = ¬ [(A + B) · C] + ¬ [D · (B + C)]

c. S = (A′·B·C ′) + (A·B ′·C) + (A·B·C)

d. S = ( (A + B ) + ((A + B ) · C)′ )′

3. Dada uma expressão booleana ​S​ qualquer com ​n​ entradas, quantas combinações dessas ​n​ entradas são
possíveis?

4. Mostre um circuito equivalente a porta OU utilizando apenas as portas E e NÃO.

5. Mostre um circuito equivalente a porta OU-EXCLUSIVO utilizando apenas a porta NAND.

6. Mostre a expressão booleana equivalente aos circuitos a seguir:

a.
 LÓGICA MATEMÁTICA II
LISTA DE EXERCÍCIOS - NP1

b.

c.

d.
 LÓGICA MATEMÁTICA II
LISTA DE EXERCÍCIOS - NP1

7. Determine a expressão lógica das tabelas a seguir:

a.
A B C S

0 0 0 1

0 0 1 0

0 1 0 0

0 1 1 1

1 0 0 1

1 0 1 0

1 1 0 0

1 1 1 1
b.
A B C D S

0 0 0 0 0

0 0 0 1 1

0 0 1 0 1

0 0 1 1 0

0 1 0 0 0

0 1 0 1 0

0 1 1 0 0

0 1 1 1 1

1 0 0 0 0

1 0 0 1 1

1 0 1 0 0

1 0 1 1 0

1 1 0 0 1

1 1 0 1 0

1 1 1 0 0

1 1 1 1 1
 LÓGICA MATEMÁTICA II
LISTA DE EXERCÍCIOS - NP1

c.
A B C D S

0 0 0 0 1

0 0 0 1 1

0 0 1 0 1

0 0 1 1 0

0 1 0 0 1

0 1 0 1 0

0 1 1 0 1

0 1 1 1 0

1 0 0 0 0

1 0 0 1 0

1 0 1 0 0

1 0 1 1 0

1 1 0 0 0

1 1 0 1 1

1 1 1 0 0

1 1 1 1 1
d.
A B C S

0 0 0 0

0 0 1 0

0 1 0 1

0 1 1 0

1 0 0 1

1 0 1 1

1 1 0 1

1 1 1 0
 LÓGICA MATEMÁTICA II
LISTA DE EXERCÍCIOS - NP1

8. Com base nas tabelas-verdade da questão anterior, apresente seu circuito equivalente.

9. Simplifique as expressões booleanas a seguir utilizando álgebra de Boole:

a. S = A′B ′C ′ + A′BC ′ + AB ′C

b. S = A′B ′C ′ + A′BC ′ + AB ′C

c. S = (A + B + C ) · (A′ + B ′ + C )

d. S = ABC + AB ′(A′C ′)′

10. Simplifique as expressões booleanas a seguir utilizando mapas de Karnaugh:

a. S = A′B ′C ′ + A′BC ′ + A′BC + AB ′C ′ + ABC ′

b. S = A′B ′C + A′BC + AB ′C ′ + AB ′C + ABC ′

c. S = A′B ′C ′D + A′B ′CD′ + A′B ′CD + A′BC ′D + A′BCD + AB ′C ′D′ +

+ AB ′C ′D + AB ′CD + ABC ′D′ + ABC ′D + ABCD

d. S = A′B ′C ′ + A′B ′C + A′BC + ABC