Tengo que demostrar que: ! (a (b + z (x +! a))) =! a +! b (! z +! x)
Supongo que tengo que usar la regla de DeMorgans, por lo que estoy llegando con: ! a + (! b! z + (! xa))
No estoy seguro de a dónde ir desde aquí. Más específicamente, no estoy seguro de cómo deshacerme de a en (! Xa) .
!(a(b + z(x + !a)))
= !(ab + azx + az!a) [distribution]
= !(ab + azx) [a./a = 0]
= !(a.(b+zx)) [factoring]
= !a + !(b+zx) [DeMorgan]
= !a + !b.!(zx) [DeMorgan]
= !a + !b.(!z + !x) [DeMorgan]
No hay muchas reglas para aprender en lógica booleana. Acostúmbrate a ellos: hay DeMorgan, factoring, cosas como a + / a.b = a + b, etc ...
Lea otras preguntas en las etiquetas digital-logic boolean-algebra