Supressões de boole

Álgebra de boole
Do mesmo modo que existem funções em álgebra "comum", também existem funções na álgebra booleana. Uma função booleana tem uma ou mais variáveis de entrada e fornece somente um resultado que depende apenas dos valores destas variáveis.
Como uma função de n variáveis possui apenas n2 conjuntos possíveis de valores de entrada, a função pode ser descrita completamente através de uma tabela de n2 linhas, cada linha mostrando o valor da função para uma combinação diferente dos valores de entrada. Tal tabela é denominada tabela verdade.
Temos acima algumas das principais portas lógicas existente, não são as únicas, mas as outras portas existentes são combinações destas portas básicas, e todos os circuitos digitais podem ser montados somente com estas portas.
POSTULADOS
Os postulados são utilizados na minimização bem como na manipulação de expressões lógicas.
1 - POSTULADO DA COMPLEMENTAÇÃO:

2 - POSTULADO DA ADIÇÃO: Este postulado mostra como são as regras da adição (ou soma) dentro da Álgebra de Boole. Para que haja adição (OR) são necessários, no mínimo, duas variáveis, assim considerando-se duas variáveis de entrada A e B, podem definir uma função de adição.

3 - POSTULADO DA MULTIPLICAÇÃO:
Este postulado mostra como são as regras da multiplicação (ou produto) dentro da Álgebra de Boole. Para que haja a multiplicação (AND) são necessários, no mínimo, duas variáveis, assim considerando-se duas variáveis de entrada A e B, podemos definir uma função de adição.
Propriedades (PP)
Comutativa
A ordem das parcelas não altera a soma:
| PP1 | A + B = B + A
A ordem dos fatores não altera o produto:
| PP2 | A.B = B.A Associativa
A ordem das associações das parcelas não altera a soma:
| PP3 | (A + B) + C = A + (B + C) A ordem das associações dos fatores não altera o produto:
| PP4 | (A.B).C = A.(B.C) Distributiva
A evidência de uma