Académique Documents
Professionnel Documents
Culture Documents
3. Postulados:
Figura 2. Tabla de verdad y circuito equivalente Para explicar los postulados, se hará
operación O
uso de circuitos equivalentes para
representar de mejor manera los
Producto Lógico: mismos.
Se simboliza como A*B y su resultado Postulado 1
lógico será 1 si y solo si A y B tienen el
La suma lógica de una variable más un
estado (1), para cualquier otro valor, el
1 lógico equivale a un 1 lógico:
resultado será 0. En la figura 3 se
puede ver el circuito equivalente y la
tabla de verdad que lo representa,
esta operación equivale a la operación
Y ya que la salida será 1 si y solo si “A
y B son 1”.
Figura 5. Postulado 1.
Figura 6. Postulado 2.
Postulado 7
Postulado 3 La suma logica de una variable más su
contraparte negada es igual a un 1
El producto lógico de una variable
lógico:
lógica por un 1 lógico es igual al valor
de la variable:
Figura 7. Postulado 3.
Figura 11. Postulado 7
Postulado 4
Postulado 8
El producto lógico de una variable por
un 0 lógico es igual a 0: El producto lógico de una variable por
su contraparte negada equivale a 0:
Figura 8. Postulado 4
Figura 12. Postulado 8
Postulado 5 Postulado 9
La suma logica de dos variables Cuando se invierten los dos términos
iguales equivale al valor de dicha de una igualdad esta permanece igual:
variable:
Figura 9. Postulado 5.
4. Propiedades Teorema 2:
En el algebra de Boole se cumplen las
siguientes propiedades:
Conmutativa:
A+B = B+A
A*B = B*A
Asociativa:
Distributiva:
Figura 15. Teorema 2.
5. Teoremas
Figura 16. Teorema 3.
Los siguientes son los teoremas más
importantes junto con su
demostración:
Teorema 1: