Álgebra Booleana — Leis, Teoremas e Simplificação

Álgebra booleana é o sistema usado para combinar e simplificar expressões de verdadeiro/falso. Se você está tentando reduzir uma expressão lógica como $AB + A\overline{B}$, as principais ferramentas são leis como complemento, distributiva, absorção e os teoremas de De Morgan.

Em uma notação comum, $x + y$ significa OR, $xy$ significa AND, e $\overline{x}$ significa NOT $x$. Alguns livros escrevem NOT como $x'$, mas as regras básicas são as mesmas.

O Que Significa Álgebra Booleana

A álgebra comum trabalha com números. A álgebra booleana trabalha com proposições ou variáveis binárias que podem assumir apenas dois valores: verdadeiro/falso ou $1/0$.

Isso muda as regras. Na álgebra booleana,

$$x + x = x \quad \text{and} \quad xx = x$$

As duas identidades dizem a mesma coisa: repetir uma condição não cria um novo resultado. Se um interruptor já está ligado, dizer "ligado OR ligado" não muda nada.

Leis da Álgebra Booleana que Você Realmente Usa

Estas são as leis que aparecem com mais frequência quando você simplifica uma expressão booleana.

Leis da identidade

$$x + 0 = x, \qquad x \cdot 1 = x$$

Somar falso não muda nada, e fazer AND com verdadeiro não muda nada.

Leis nulas

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

Se um OR já contém verdadeiro, o resultado inteiro é verdadeiro. Se um AND contém falso, o resultado inteiro é falso.

Leis idempotentes

$$x + x = x, \qquad x \cdot x = x$$

Repetir a mesma variável não altera a expressão.

Leis do complemento

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

Uma variável e seu oposto cobrem todos os casos em OR, mas nunca se sobrepõem em AND.

Leis comutativas e associativas

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

Elas permitem reordenar ou reagrupar termos sem mudar o resultado.

Leis distributivas

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

A segunda forma costuma parecer menos familiar, mas é uma identidade booleana padrão e aparece em fatoração.

Leis da absorção

$$x + xy = x, \qquad x(x + y) = x$$

Elas são especialmente úteis quando uma expressão parece maior do que realmente é.

Teoremas de De Morgan

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

Eles mostram como uma negação atravessa OR e AND. Quando NOT passa pelos parênteses, OR e AND trocam de papel.

Exemplo Resolvido: Simplifique $AB + A\overline{B}$

Comece com

$$F = AB + A\overline{B}$$

Coloque o $A$ em evidência:

$$F = A(B + \overline{B})$$

Agora use a lei do complemento:

$$F = A \cdot 1$$

Depois use a lei da identidade:

$$F = A$$

Portanto, $AB + A\overline{B} = A$. Intuitivamente, se $A = 1$, então ou $B = 1$ ou $\overline{B} = 1$, então um dos termos deve ser verdadeiro. Se $A = 0$, os dois termos são falsos. A expressão inteira depende apenas de $A$.

Erros Comuns em Álgebra Booleana

Um erro comum é trazer hábitos da álgebra comum para a álgebra booleana. Por exemplo, $x + x = 2x$ não é uma regra booleana. Aqui, o resultado correto é $x$.

Outro erro é aplicar uma lei sem verificar a notação. Em muitos textos, $+$ significa OR, não adição aritmética, e escrever variáveis lado a lado significa AND.

Os estudantes também usam mal os teoremas de De Morgan ao negar cada variável, mas esquecer de trocar OR por AND e AND por OR. As duas partes importam.

Onde a Álgebra Booleana É Usada

A álgebra booleana é central na lógica digital, em que as variáveis representam estados ligado/desligado ou verdadeiro/falso. Ela é usada para simplificar projetos de circuitos, escrever condições lógicas mais limpas em software e raciocinar sobre filtros de busca ou consultas em bancos de dados.

Se as variáveis não forem binárias ou se as operações forem aritméticas comuns, as leis booleanas não se aplicam diretamente. O contexto de dois valores é a condição que faz o sistema funcionar.

Tente uma Simplificação Parecida

Tente simplificar $(A + B)(A + \overline{B})$. Se você usar as leis acima com cuidado, ela se reduz mais do que parece à primeira vista. Se quiser ir um passo além, monte uma tabela-verdade e verifique se a forma simplificada corresponde a todas as linhas.