martes, 8 de mayo de 2012

Algebra booleana

Algebra Booleana


a b a  \cdot b
0 0 0
0 1 0
1 0 0
1 1 1
La operación producto ( \cdot ) asigna a cada par de valores a, b de A un valor c de A:
 a \cdot b = c
Esta operación en lógica de interruptores es un circuito en serie de dos interruptores
Interruptor lógico 030.svg
solo si los dos valores a y b son 1, el resultado será 1, si uno solo de ellos es 0 el resultado será 0.
Interruptor lógico 031.svg Interruptor lógico 032.svg Interruptor lógico 033.svg Interruptor lógico 034.svg

Operación negación

a  \bar {a}
0 1
1 0
La operación negación presenta el opuesto del valor de a:
 \bar {a} = b \,
Un interruptor inverso equivale a esta operación:
Interruptor lógico 020.svg

Interruptor lógico 021.svg


Interruptor lógico 022.svgEl concepto de dualidad permite formalizar este hecho: a toda relación o ley lógica le corresponderá su dual, formada mediante el intercambio de los operadores unión (suma lógica) con los de intersección (producto lógico), y de los 1 con los 0.
Además hay que cambiar cada variable por su negada. Esto causa confusión al aplicarlo en los teoremas básicos, pero es totalmente necesario para la correcta aplicación del principio de dualidad. Véase que esto no modifica la tabla adjunta.