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:

1. Fork el repositorio en GitHub.
2. Clona tu fork a tu máquina local.
3. Crea una nueva rama para tu función: git checkout -b nombre-de-la-rama.
4. Realiza tus cambios y haz commits de forma significativa.
5. Asegúrate de que tus cambios funcionen como se esperaba.
6. Sube tus cambios a tu fork en GitHub.
7. 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.