Na seguinte propriedade, vamos fazer a mesma coisa do que para a anterior. Dado a
expressão no enunciado montar a tabela verdade (Tabela 3.4.2) e verificar se a igualdade é verídica.
PROPRIEDADE 16:
A + Ᾱ.B = A + B
(16)
Tabela 3.4.2: demonstração propriedade (17).
A
0
0
1
1
B
0
1
0
1
A + Ᾱ.B
0
1
1
1
A + B
0
1
1
1
Fonte: Autores.
Nota-se, ao analisar a tabela 3.4.3, que a expressão dada é verdadeira. Para a nossa
próxima propriedade, iremos fazer o mesmo.
PROPRIEDADE 17:
Ᾱ + A.B = Ᾱ + B
(17)
Tabela 3.4.3: demonstração propriedade (18).
A
0
0
1
1
B
0
1
0
1
Ᾱ + A.B
1
1
0
1
Ᾱ + B
1
1
0
1
Fonte: Autores.
Terminamos todas as propriedades fundamentais, e os teoremas da absorção nesse
tópico, demonstrando nossa última propriedade (18). Que pode ser verificada a partir da Tabela
3.4.3. No próximo tópico trataremos de esclarecer os teoremas de De Morgan, que são as nossas
ultimas equações, para que possamos partir a simplificação de qualquer circuito lógico representado
por uma expressão Booleana.
Mais adiante no Tópico 5 – FORMAS CANÔNICAS, vamos ver como é possível
representar todas as saídas possíveis de um circuito utilizando as ferramentas matemáticas, série
de somas dos produtos – representada pelo símbolo do sigma maiúsculo (∑) e a série de produtos
da soma representado pelo símbolo do pi maiúsculo (Π). Isto nos irá permitir nosso estudo de
redução de circuitos nos próximos experimentos (experimento 5), e também aplicar tal forma de
representação neste (experimento 4 – tópico 6).
12