Algebra Booleana
a |
b |
a b |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
La operación producto (
![\cdot](http://upload.wikimedia.org/wikipedia/es/math/3/6/f/36f8ae4c86b69d52d037a6802d91cc4a.png)
) asigna a cada par de valores
a,
b de
A un valor
c de
A:
![a \cdot b = c](http://upload.wikimedia.org/wikipedia/es/math/7/9/f/79f02f4ba947940d38756b8256b6b4fe.png)
Esta operación en lógica de interruptores es un circuito en serie de dos interruptores
![Interruptor lógico 030.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9f/Interruptor_l%C3%B3gico_030.svg/150px-Interruptor_l%C3%B3gico_030.svg.png)
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.
Operación negación
a |
![\bar {a}](http://upload.wikimedia.org/wikipedia/es/math/2/f/8/2f8eeb0a7f01630a6085c88aa137c440.png) |
0 |
1 |
1 |
0 |
La operación negación presenta el opuesto del valor de
a:
![\bar {a} = b \,](http://upload.wikimedia.org/wikipedia/es/math/3/5/9/359dc4f83110c0e7cef3a7334c23bbf5.png)
Un interruptor inverso equivale a esta operación:
![Interruptor lógico 020.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Interruptor_l%C3%B3gico_020.svg/150px-Interruptor_l%C3%B3gico_020.svg.png)
| El 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. |