| x(x'+y) | //Distributividad
| = xx' + xy | //Contradicción
| = 0 + xy | //Identidad
| = xy
| |
| x + x'y | //Distributividad
| = (x+x')(x+y) | //Medio exlcuído
| = 1 ⋅ (x+y) | //Identidad
| = x+ y
| |
| xy + xy' | //Distributividad (factorización)
| =x(y+y') | //Medio exlcuído
| =x ⋅ 1 | //Identidad
| =x
| |
| xyz + xy'z + xz' | //Distributividad (factoización)
| = xz(y + y') + xz' | //Medio excluído
| = xz ⋅ 1 + xz' | //Identidad
| = xz +xz' | //Distributividad (factorización)
| = x(z + z') | //Medio excluído
| = x ⋅ 1 | //Identidad
| = x
| |
| x'y + xy' + xy | //Distributividad
| = x'y + x (y' + y) | //Medio excluído
| = x'y + x ⋅ 1 | //Identidad
| = x'y + x | //Distributividad
| = (x' + x) (y + X) | //Medio exlcuído
| = 1 ⋅ (y + x) | //Identidad
| = y+x
| |