BoolSolver es una herramienta que permite resolver y analizar tablas de verdad de expresiones booleanas. Puedes proporcionar una expresión lógica y BoolSolver calculará los minterminos y maxterminos correspondientes, así como los valores de verdad para todas las combinaciones posibles de variables.
Características clave:
- Conversión de expresiones booleanas en notación infija a notación posfija (RPN).
- Cálculo de minterminos y maxterminos.
- Evaluación de la tabla de verdad para todas las combinaciones de variables.
- Interfaz de línea de comandos para una fácil integración en otros proyectos.
Aquí hay un ejemplo de cómo usar BoolSolver desde la línea de comandos:
Este comando calculará los minterminos, maxterminos y valores de verdad para la expresión "(A&B | C&D)|(E&F | !G)".
- Java 8 o superior.
- Descargar BoolSolver.jar o compilar el código fuente por ti mismo.
¡Eres bienvenido a contribuir al desarrollo de BoolSolver! Si deseas enviar mejoras, correcciones de errores o nuevas características, sigue estos pasos:
- Fork el repositorio en GitHub.
- Clona tu fork a tu máquina local.
- Crea una nueva rama para tu función:
git checkout -b nombre-de-la-rama
. - Realiza tus cambios y haz commits de forma significativa.
- Asegúrate de que tus cambios funcionen como se esperaba.
- Sube tus cambios a tu fork en GitHub.
- Crea una solicitud de extracción (Pull Request) a la rama principal del repositorio original.
- Andres Gongora
Notas:
- Reemplaza
tu-expresión-booleana-aquí
con una expresión booleana de ejemplo.