Question

La proposicion (avb) -> (c^~a) es equivalente a

Answer 1

La proposición equivalente es: ¬a ∧ ( ¬b ∨ c)  

Con el enunciado dado, podemos intentar obtener su expresión simplificada.

(a v b) → (c ∧ ¬a)        Equivalencia del condicional

¬(a v b)  ∨ (c ∧ ¬a)     Multiplicación del signo

(¬a∧¬b)  ∨ (c ∧ ¬a)     Distributiva inversa

¬a ∧ ( ¬b ∨ c)            

Como se observa, ya no se posible seguir simplificando más