Postulados e Teoremas

POSTULADOS, PROPRIEDADES E

TEOREMAS,

MÁS IMPORTANTES DEL ÁLGEBRA

DO BOOLE

1
 Postulados e Teoremas
Postulados do álgebra de Boole

Vamos expor os postulados mas significativos, y para seu

melhor compreensão, acompanharemos cada um deles com um
circuito elétrico realizado mediante contatos. Na seguinte figura
aparece uma relação da maior parte de quão postulados veremos
continuação

• Postulado 1

A soma logica de uma variável mas um 1 logico equivale a um 1

logico

a+1=1 2
 Postulados e Teoremas
• Postulado 2

A soma logica de uma variável mas um 0 logico equivale ao valor

da variável

a+0=a

• Postulado 3

O producto lógico de uma variable por um 1 lógico es igual al

valor da variável:

a·l=a
3
 Postulados e Teoremas
• Postulado 4

O producto lógico de uma variable por um 0 lógico es igual a 0:

a·0=0

• Postulado 5

A soma logica de duas variáveis iguais equivalente ao valor de sorte

variável

a+a=a
4
 Postulados e Teoremas
• Postulado 6

•O produto lógico das variáveis é equivalente a uma variedade do

dito valor:

a·a=a

• Postulado 7
A soma lógica de uma variável mais a mesma variável negada é
equivalente a uma lógica 

5
 Postulados e Teoremas
• Postulado 8

O produto lógico de uma variável com a mesma variável

negada é equivalente a um 0 lógico:

• Postulado 9

Se uma variável for negada duas vezes, ela não será alterada.
Este postulado é válido para qualquer número par de
investimentos:
6
 Postulados e Teoremas

7
Circuito elétrico equivalente dos postulados mas significativos.
 Postulados e Teoremas
• Outros postulados
Se os dois membros de uma igualdade estiverem invertidos,
não sofrerá qualquer variação:

8
 Postulados e Teoremas
Propriedades
Da mesma forma que no sistema convencional, as propriedades
descritas abaixo são atendidas na álgebra booleana:
• propriedade comutativa:

a+b=b+a a·b=b·a

• Propriedade associativa:

a + b + e = a + (b + c) a · b · c = a · (b · c)

• Propriedade distributiva:

a · (b + c) = a · b + a · c a + b · c = (a + b) · (a + c) 9
 Postulados e Teoremas
Teoremas
Os teoremas que enunciamos a seguir podem ser
demonstrados confiando nos postulados e propriedades
descritos acima.
• Teorema 1. Lei da Absorção

a) a + a · b = a

Demostraçao:
a+a·b=a·(1+b)=a·1=a

b) a · ( a + b) = a

Demostraçao:
10
a · (a + b) = a · a + a · b = a + a · b = a
 Postulados e Teoremas
Teorema 2.

11
 Postulados e Teoremas
Teorema 3. Leis de De Morgan.

As leis de De Morgan merecem menção especial por sua grande

utilidade nos processos de simplificação. A verificação destes
teoremas pode ser feita pelo leitor (a) construindo a tabela
verdade:

12