Skip to content

M4rulli/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

An interactive Karnaugh Map solver with automatic Boolean minimization and circuit synthesis.

Resources

License

Stars

Watchers

Forks

Contributors

Languages