LI2011-12: Ejercicios de formas normales y resolución proposicional
En la clase de hoy del curso Lógica Informática se han comentados soluciones de ejercicios de formas normales y resolución proposicional. Los enunciados de los ejercicios se encuentran en los temas 3 y 4 del libro de ejercicios.