Teorema de DeMorgan

Teoremas de De Morgan
Los teoremas de las matemáticas De Morgan son propuestas para simplificar expresiones booleanas álgebra gran contribución. Definir reglas utilizadas para convertir lasoperaciones lógicas O en E , y viceversa.
Ser y operaciones siendo y definen como sigue:
Operación lógica
Símbolo
Ejemplos
O
+




E





No




Índice
  [ ocultar ] 
1 Leyes1.1 Lógica proposicional
1,2 lógica booleana
1,3 lógica booleana en electrónica digital
1,4 Textual
1.5 Generalización
2 Prueba
3 Referencias
4 Enlaces externos
[ editar ]Leyes
Considere laposibilidad de X e Y como variables booleanas o proposiciones cuya respuesta es {sí, no} o {verdadero, falso} o {0,1}. Siga las leyes de De Morgan posible algunas anotaciones:
[ editar ]Lógica proposicional1.
2.
[ editar ]Lógica booleana
1.
2.
[ editar ]Lógica booleana en electrónica digital
1.
2.
3. El complemento o negación de un producto ( Y ) de las variables es igual a la suma ( OR )de los complementos de las variables. [1]
4. El complemento o negación de una suma ( OR ) de las variables es igual al producto ( Y ) de los complementos de las variables. [1]
La Figura 1.1 muestrael circuito que representa la primera. Teorema y la tabla a continuación representa la tabla de verdad correspondiente.

Teorema 1.1
X
Y


0
0
1
1
0
1
1
1
1
0
1
1
1
1
0
0
Lafigura 1.2 muestra el circuito que representa la primera. Teorema y la tabla a continuación representa la tabla de verdad correspondiente.

Teorema 1.2
X
Y


0
0
1
1
0
1
0
0
1
0
0
0
11
0
0
Equivalencia observa en las tablas de salida, esto demuestra que el comportamiento lógico mismo.
Consideremos la expresión siguiente: [2]

Aplicando los teoremas de De Morgan :[ edit ]Textual
1. Ninguno (X AND Y) = no (X) o no (Y)
2. No (X o Y) = no (X) y no (Y)
[ editar ]Generalización
La idea consiste en "aplicar" la barra (sin operador) en otra operación, esta cambie...