As leis básicas da álgebra booleana podem ser enunciadas da seguinte forma:
- A Lei Comutativa afirma que a troca da ordem dos operandos em uma equação booleana não altera o seu resultado. Por exemplo:
- Operador OU → A + B = B + A
- Operador AND → A * B = B * A
- A Lei Associativa da multiplicação afirma que a operação AND é feita em duas ou mais variáveis. Por exemplo:
A * (B * C) = (A * B) * C - A Lei Distributiva afirma que a multiplicação de duas variáveis e a soma do resultado com uma variável resultará no mesmo valor que a multiplicação ou adição da variável com variáveis individuais. Por exemplo:
A + BC = (A + B) (A + C). - Lei de anulação:
A.0 = 0
UMA + 1 = 1 - Lei de identidade:
A.1 = UMA
UMA + 0 = UMA - Lei idempotente:
UMA + UMA = UMA
A.A = A - Lei complementar:
UMA + UMA' = 1
A.A' = 0 - Lei da dupla negação:
((A)')' = UMA - Lei de absorção:
A.(A+B) = A
UMA + AB = UMA
A Lei de De Morgan, também conhecida como teorema de De Morgan, funciona dependendo do conceito de Dualidade. Dualidade afirma que a troca de operadores e variáveis em uma função, como substituir 0 por 1 e 1 por 0, operador AND por operador OR e operador OR por operador AND.
De Morgan enunciou 2 teoremas que nos ajudarão a resolver problemas algébricos em eletrônica digital. As declarações do De Morgan são:
- 'A negação de uma conjunção é a disjunção das negações', o que significa que o complemento do produto de 2 variáveis é igual à soma dos complementos das variáveis individuais. Por exemplo, (AB)' = A' + B'.
- 'A negação da disjunção é a conjunção das negações', o que significa que o complemento da soma de duas variáveis é igual ao produto do complemento de cada variável. Por exemplo, (A + B)' = A'B'.