SimpliMap is a Flutter app for creating, visualizing and minimizing Boolean expressions using Karnaugh maps (K-maps). It provides a solver UI, step-by-step minimization, and components to explore K-map grouping and simplified expressions.

A command-line interpreter that simplifies a given propositional logic expression into its minimal, equivalent form.

Aplicación de escritorio en Python con interfaz gráfica (CustomTkinter) para generar tablas de verdad, mapas de Karnaugh de 2–4 variables y simplificar funciones booleanas usando Sympy, NumPy y Matplotlib