Andrés Esteban Ávila

Ingeniería de Sistemas

Ejercicios Normalizar

1. ​(a ​→ ​b) ​→ (c → d)
~(a ​→ b) v (c → d)

~(~a v b) v (~c v d)

(a v b) v (~c v d)

2. ​~a​→[c ​∧ ~ ( d v f )]

~(~a​ v [c ​∧​ ​~ ( d v f )])

a v [​c ​∧​ ​~ ( d v f )]

3. ​~{b ∧~ [a ​→(b ​∧ c)]}

~{b ∧~[ ~a v ​(b ​∧ c)]}

~{b ∧ [a v ( b ∧ c)]}

4. ​ ( c ∧ a) ↔ e

[(c ∧ a)​→ e​] ∧ [e ​→(c​ ∧ a)]

[(c ∧ a) v ~​e] ​∧ [e v ~(c ∧ a)]

5. ​[(a ∧ b) v c] v d​ ​-------> Ya está normalizada.