La proposicion (avb) -> (c^~a) es equivalente a
Respuestas a la pregunta
Contestado por
9
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
Otras preguntas