Hola, disculpá la demora. El yoda tiene algunas particularidades que no se ajustan del todo al curso. Esa que mencionás es una.
En el curso la forma de leer esa fórmula es (φ∨ψ)→(¬(¬φ∧¬ψ)).
Si ves que el yoda lee la fórmula mal, agregale los paréntesis explícitamente así te entiende.
Saludos
En el curso la forma de leer esa fórmula es (φ∨ψ)→(¬(¬φ∧¬ψ)).
Si ves que el yoda lee la fórmula mal, agregale los paréntesis explícitamente así te entiende.
Saludos