Hola! Tengo dos dudas con equivalencias logicas
La primera:
Tengo que verificar equivalencias a traves de una prueba de equivalencia
A->B ∧ (A∨B) = B
yo lo resolvi asi:
(¬A∨B) ∧ (A∨B) = Implicacion
(¬A∧A) ∨ (¬A∧B) ∨ (B∨A) ∨ (B∧B)= Distributiva
(¬A∧ B) ∨ (B∨A) ∨ B = Ley de absorción (Aca viene la duda, yo elimine ¬AYA porque no se puede hacer ya que daria falso siempre,pero supongo que esta mal)
(¬A∧ B) ∨ B = ley de absorción
B =ley de absorción
La segunda:hallar fbf equivalente en forma normal conjuntiva (a través de equivalencias)
(A∧B) ∨ (C∧D) ∨ (E->F)
FNC:
(A∧B) ∨ (C∧D) ∨ (E->F)
(A∧B) ∨ (C∧D) ∨ (¬E∨F) = Implicacion
(A∧B) ∨ (C∧D)∨ (¬E) ∨ (F) =
(A∧B) ∨ (¬E) ∨ (C∧D) ∨ F = Conmutativa, duda: aca era mejor hacer: [(A∧B) ∨ (C∧D) ∨ (¬E)] ∨ (F) y despues hacer nuevamente distributiva con f?
(A∨¬E) ∧ (B∨¬E) ∧ (C∨F) ∧ (D∨F) = Distributiva y es FNC
Mi duda es con la distributiva, me da la sensacion que lo estoy haciendo mal, pero no estoy seguro, gracias y saludos de antemano!