Primer enfoque
Solo usando leyes básicas (Distributividad + asociatividad).
Más simple, más largo, más lento:
[matemáticas] (a \ cap b) \ cap (a \ cup b ^ c) \ cap (a ^ c \ cup b) [/ math]
- Comenzando con la siguiente ecuación (que es verdadera para k = {1,2,3}), suponiendo que no se conozca la respuesta, ¿cómo se puede resolver k algebraicamente?
- ¿Cómo resolvería esta pregunta de subred? ¿Cómo conseguiría la máscara?
- ¿Qué es el algoritmo de Euclides?
- Cómo encontrar soluciones enteras de una función en un rango dado
- Cómo crear un algoritmo
[matemáticas] ([(a \ cap b) \ cap a] \ cup [(a \ cap b) \ cap b ^ c]) \ cap (a ^ c \ cup b) [/ math]
[matemáticas] ((a \ cap b) \ cup [(a \ cap b) \ cap b ^ c]) \ cap (a ^ c \ cup b) [/ math]
[matemáticas] ((a \ cap b) \ cup [a \ cap (b \ cap b ^ c)]) \ cap (a ^ c \ cup b) [/ math]
[matemáticas] ((a \ cap b) \ cup \ O) \ cap (a ^ c \ cup b) [/ math]
[matemáticas] ((a \ cap b)) \ cap (a ^ c \ cup b) [/ matemáticas]
[matemáticas] ([a \ cap b] \ cap a ^ c) \ cup ([a \ cap b] \ cap b) [/ math]
[matemáticas] \ O \ cup ([a \ cap b] \ cap b) [/ math]
[matemáticas] (a \ cap b) \ cap b [/ matemáticas]
[matemáticas] a \ cap (b \ cap b) [/ matemáticas]
[matemáticas] a \ cap b [/ matemáticas]
Segundo enfoque
Más complejo, más corto, más rápido:
Este es un mapa de Karnaugh, complételo con la siguiente asignación:
[matemáticas] \ cup \ mapsto \ vee [/ matemáticas]
[matemáticas] \ cap \ mapsto \ wedge [/ matemáticas]
[matemáticas] x ^ c \ mapsto \ neg x [/ matemáticas]
Luego se lee:
[matemáticas] a \ cuña b [/ matemáticas]
Entonces, después de mapearlo de nuevo:
[matemáticas] a \ cap b [/ matemáticas]