Escolar Documentos
Profissional Documentos
Cultura Documentos
Identidade Nome
x=x Lei do duplo complemento
x+x=x Leis idempotentes
x·x=x
x+0=x Leis de identidade
x·1=x
x+1=1 Leis de dominação
x·0=0
x+y =y+x Leis comutativas
xy = yx
x + (y + z) = (x + y) + z Leis associativas
x(yz) = (xy)z
x + yz = (x + y)(x + z) Leis distributivas
x(y + z) = xy + xz
(xy) = x + y Leis de De Morgan
(x + y) = x · y
x + xy = x Leis de absorção
x(x + y) = x
x+x=1 Propriedade da unidade
xx = 0 Propriedade do zero
Nem sempre é fácil encontrar valores que satisfazem uma fórmula Boole-
ana. Este é um problema difı́cil e ninguém conhece um algoritmo eficiente
que consiga dizer se uma fórmula tem solução ou não. Por exemplo, não
1
existe na fórmula abaixo nenhuma combinação de valores na equação de 4
variáveis que tornam a equação verdadeira e isso não é fácil de se verificar
sem testar todas:
(x2 + x3 + x4 )(x1 + x3 + x4 )(x1 + x2 + x4 )(x1 + x2 + x3 )
(x2 + x3 + x4 )(x1 + x3 + x4 )(x1 + x2 + x4 )(x1 + x2 + x3 ) = 1
2
x y z F (x, y, z)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0