Seção 25

Álgebra booleana

fundamentalviz

A + 0 = A; A 1 = A; A + 1 = 1; A 0 = 0

Identidades básicas para OR e AND.

fundamentalviz

A + A = A; AA = A; A + \overset{ˉ}{A} = 1; A \overset{ˉ}{A} = 0

Regras essenciais para simplificação booleana.

fundamentalviz

A (B + C) = A B + A C; A + B C = (A + B) (A + C)

Álgebra distributiva para lógica.

fundamentalviz

\overline{A + B} = \overset{ˉ}{A} \overset{ˉ}{B}; \overline{A B} = \overset{ˉ}{A} + \overset{ˉ}{B}

Transforma negações de OR e AND.

fundamentalviz

A \oplus B = \overset{ˉ}{A} B + A \overset{ˉ}{B}

É verdade quando exatamente uma entrada é verdadeira.

fundamentalviz

A + A B = A; A (A + B) = A

Simplifica expressões redundantes.

intermediárioviz

F = Σ m (i_{1}, \dots, i_{k})

Forma canônica como OR de mintermos.

intermediárioviz

F = Π M (i_{1}, \dots, i_{k})

Forma canônica como AND de maxtermos.

intermediárioviz

F \equiv G ⟺ F y G tienen la misma tabla de verdad

Critério para verificação de simplificações lógicas.