Simplificação de Circuitos Lógicos

Teoremas para uma única variável

Teoremas com mais de uma variável

(9) lei comutativa da soma: $x+y=y+x$

(10) lei comutativa do produto: $xy=yx$

(11) lei associativa da soma: $x+(y+z)=(x+y)+z=x+y+z$

(12) lei associativa do produto: $x(yz)=(xy)z=xyz$

(13a) lei distributiva: $x(y+z)=xy+xz$

(13b) lei distributiva: $(w+x)(y+z)=wy+xy+wz+xz$

(14) $x+xy=x$

(15a) $x+\bar{x}y=x+y$

(15b) $\bar{x}+xy=\bar{x}+y$

(16) Teorema de DeMorgan: $(\overline{x+y})=\bar{x} \bar{y}$

(17) Teorema de DeMorgan: $(\overline{xy})=\bar{x}+\bar{y}$

Ampliação dos Teoremas de DeMorgan para mais de duas variáveis

$$\overline{x+y+z}=\bar{x} \bar{y} \bar{z}$$

$$\overline{xyz}=\bar{x} + \bar{y} + \bar{z}$$

Exercícios

Resolver os exercícios do livro-texto:

• B 3.23
• C 3.24
• B 3.26