Esta es una prueba formal y general. Para un caso general, debe pensar en [matemática] X, Y [/ matemática] como conjuntos, [matemática] 0 [/ matemática] como un conjunto vacío [matemática] \ phi [/ matemática] y [matemática] 1 [/ math] como conjunto universal [math] I [/ math]. Si solo asume un caso especial como álgebra booleana binaria, no hay mucho que demostrar.
Una forma típica de probar este tipo de equivalencia es usando [matemática] A \ subconjunto B, B \ subconjunto A [/ matemática] por lo tanto [matemática] A = B [/ matemática]. Pero esta prueba utiliza [matemáticas] \ overline {A} + B = 1, \ overline {A} B = 0 [/ math] (o [matemáticas] \ overline {A} \ cup B = I, \ overline {A} \ cap B = \ phi [/ math]) así [math] A = B [/ math]. Creo que es lindo
Más allá de lo anterior, solo necesita leyes distributivas, asociativas y conmutativas para comprender la prueba. (hay un error tipográfico en la prueba, [matemáticas] X \ overline {X} \ overline {Y} + \ overline {X} Y \ overline {Y} = 0 \ cdot \ overline {Y} + \ overline {X} \ cdot 0 [/ math])
- ¿Existe un algoritmo eficiente para encontrar el primo más pequeño mayor que N?
- ¿Aborda problemas difíciles de NP, como el problema de enrutamiento de vehículos, con algoritmos de ruta más corta? ¿Por qué?
- Para los usuarios, ¿se está volviendo Facebook más valioso, útil y digno de más tiempo invertido o menos? ¿Por qué? ¿Hay alguna evidencia de Facebook de que la Ley de Metcalfe es cierta (para n usuarios, el valor de la red aumenta en nxn)?
- Cómo convertir -57.45 a doble precisión IEEE
- Geometría: ¿Cómo se distribuye uniformemente (igualmente espacio) 36 puntos de ancho y un triángulo rectángulo isósceles? Sé cómo distribuir uniformemente los puntos a través de un rectángulo (coloque los puntos en 0 a la longitud del lado en incrementos de (longitud del lado) / (raíz (36)), pero ¿cómo haría uno para un triángulo?