Código que realice en la universidad Marzo-2009 para la matería de inteligencia artificial, para analizat la lógica proposicional.
Este pequeño programa analiza una cadena, y a partir de esta primero extrae los tokens de la cadena y de las proposiciones pide un valor verdadero o falso. Luego a partir de una gramatica procede a evaluar y regresar un valor verdadero o falso segun sea el caso.
la manera mas facil para compilarlo es tener todos los archivos en una carpeta (no mezclado con otros archivos) y en la consola ejecutar:
g++ *.cpp -o <nombre-del-programa>
This code is open-sourced software licensed under the MIT license.