Alwo

NOTA: Dualidad
|Los postulados están representados en pares. La razón es que cada postulados posee lo que llamamos un dual. El dual de una expresión |
|se obtiene intercambiando las ocurrenciasde OR por AND, 0 por 1 y viceversa.. Si un teorema es valido, también lo será su dual, En |
|efecto siguiendo el dual de la demostración del teorema, se obtiene la demostración del dual del teorema.Por ejemplo dado el |
|postulado  0+0 = 0 se obtiene el dual haciendo 1·1 = 1 |

Postulados: Los postulados paralas tres operaciones básicas, AND, OR Y NOT, son suficientes para deducir cualquier relación bolean.
|OR |AND |NOT|
|0 + 0 = 0 |0 · 0 = 0 |[pic] |
|0 + 1 = 1|0 · 1 = 0 |[pic] |
|1 + 0 = 1 |1 · 0 = 0| |
|1 + 1 = 1 |1 · 1 = 1 | |

1POSTULADOS.
• P.1. Existe un conjunto M de elementos sujetos a una relación de equivalencia denotada por el signo = que satisfacen el principio se sustitución.
• P.2.a. Para toda (A, B) en M, A + Bes una operación binaria (suma lógica) denotada por el signo +, tal que:
• (A + B) está en M
Es decir, el conjunto M es cerrado a esta operación.
• P.2.b. Para toda (A, B) en M, A .B es una operación binaria (producto lógico) denotada por el signo ., tal que:
(A . B) está en M Es decir, el conjunto M es cerrado a esta operación.
• P.3.a. Existe un elemento 0 en M,...