Monte o circuito da porta NOT e complete a tabela-verdade da negação de acordo com o resultado do experimento.

A	¬A
1
0

Monte o circuito da porta AND e faça a tabela-verdade da conjunção.

Algumas questões a serem abordadas durante o exercício incluem:

• Quantas linhas possui esta tabela? Por quê? (lembre-se das possíveis combinações de valores-verdade: 1/1, 1/0, 0/1, 0/0).
• Reforce o significado do conectivo utilizando exemplos em linguagem natural (adequando-os à matéria pretendida).

Repita o exercício para todos os conectivos do kit.

Monte o circuito de NAND utilizando apenas NOT e AND e faça a tabela-verdade do circuito correspondente, que representa o conectivo de Sheffer.

Repita o exercício para os conectivos NOR (utilizando apenas NOT e OR) e XOR (utilizando apenas OR, AND e NOT).

Algumas questões a serem abordadas durante os exercícios incluem:

• Explique o conceito de equivalência lógica.
• Refaça os exercícios utilizando outras portas lógicas.

• Faça um circuito que corresponda à implicação material.

Demonstre algumas equivalências lógicas notáveis, como por exemplo as leis da dupla negação, de Morgan, propriedade associativa, propriedade distributiva, dentre outras.

• Explique o conceito de conjunto adequado de conectivos.

Faça o circuito equivalente a todos os conectivos utilizando apenas um dos dois: NOR ou NAND.

• Explique o conceito de conectivo universal.

Procure implementar circuitos a partir de diagramas, e vice-versa.

• Repita os exercícios acima utilizando diagramas.

• Por exemplo: represente todos os circuitos utilizando apenas NAND ou NOR.

	NAND	NOR
NOT
AND
NAND
OR
NOR
XOR
XNOR