ejercicio 6.14

Implemente una función validez() que toma una oración como entrada y retorna uno de los tres resultados: válida, satisfactible, insatisfactible. Úsela para resolver el problema del ejercicio 6.12. Va a necesitar definir una representación de oraciones a nivel de implementación. La forma más limpia para lograr esto es definir un tipo de datos abstracto para las oraciones compuestas. Comience escribiendo una función evalua_verdad() como una función recursiva que toma una oración y una asociación de valores de verdad con símbolos proposicionales, y retorna verdadero o falso. Luego invoque a evalua_verdad() para todas las posibles asignaciones de valores de verdad a los símbolos proposicionales.

Nota: Si usa objetos para implementar los tipos de datos abstractos, entonces evalua_verdad() puede ser un mensaje que entienda el objeto oración.

ejercicio 6.12

Jones, Smith y Clark tienen los puestos de programador, ingeniero en conocimiento y gerente (no necesariamente en ese orden). Jones le debe $10 al programador. La esposa del gerente le prohibe a su marido pedir prestado. Smith no está casado. Su tarea es averiguar cuál es el trabajo de cada uno.