Skip to content

SimoneRemoli/K-Map-Solver

Repository files navigation

K-Map Solver

React TypeScript Vite Tailwind CSS Framer Motion MathJax License: GPL-3.0

K-Map Solver is a client-side web application for Boolean function minimization based on Karnaugh maps and the Quine-McCluskey method. The project is designed to provide a practical and educational workflow: edit values, minimize the function, and inspect the resulting logical structure.

The application supports 2 to 5 variables, both SOP (Sum of Products) and POS (Product of Sums), and executes all computations directly in the browser.

The interface is centered on interactive map editing with synchronized truth-table input.

K-Map Solver Interface Overview

After minimization, the tool presents the canonical decimal form (Σ/Π), the minimized symbolic expression rendered with MathJax, and the equivalent logic circuit.

Equivalent Logic Circuit Overview

Local Development

Clone the repository and install dependencies:

git clone https://github.com/M4rulli/K-Map-Solver.git
cd K-Map-Solver
npm install

Run the development server:

npm run dev

Build the production bundle:

npm run build

Repository Structure

  • src/components/ contains UI components (K-map, truth table, logic circuit, modals).
  • src/lib/ contains minimization and utility logic.
  • public/ contains static assets and icons.
  • config/ contains Vite, TypeScript, Tailwind, and ESLint configuration.

License

This project is licensed under the GNU General Public License v3.0 (GPL-3.0). See LICENSE for full terms.

About

A web-based toolkit for designing, analyzing and minimizing finite state machines, featuring Karnaugh map simplification and automatic logic circuit generation.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages