Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
- 1. El tipo de las listas
- 2. El tipo de los árboles binarios
- 3. El tipo de las fórmulas proposicionales: Variables de una fórmula
- 4. El tipo de las fórmulas proposicionales: Valor de una fórmula
- 5. El tipo de las fórmulas proposicionales: Interpretaciones de una fórmula
A continuación se muestran las soluciones.