PFH: Sistema de decisión de tautologías en Haskell
He añadido a la lista Programación funcional con Haskell el vídeo Sistema de decisión de tautologías en Haskell en el que se ha estudia cómo construir un programa para determinar si una fórmula es una tautología. Para ello se consideran las siguientes fases:
1. definir un tipo de dato algebraico para las fórmulas proposicionales,
2. definir un tipo de dato para las interpretaciones,
3. definir una función para calcular los valores de las fórmulas en las interpretaciones
4. definir una función para generar todas las posibles interpretaciones de una fórmula y
5. definir una función que para decidir si una fórmula es tautología (es decir, su valor es verdadero en todas sus interpretaciones).
El vídeo es
Los apuntes correspondientes son
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.