SimpliMap: K-Map Solver

Struggling with Karnaugh maps and Boolean algebra? SimpliMap makes it effortless.

SimpliMap is a free, offline Karnaugh Map solver that helps you simplify Boolean expressions visually. Whether you're a student studying digital logic or an engineer verifying circuit designs, SimpliMap gives you instant results with clear, step-by-step explanations.

★ KEY FEATURES

✦ Interactive K-Map Grid

Tap cells to toggle between 0, 1, and Don't Care. Supports both 3-variable and 4-variable Karnaugh maps with correct Gray Code ordering.

✦ Flexible Input Methods

Enter Boolean expressions directly (e.g. A'B + CD) or use minterm notation (e.g. m0 + m3 + m5). The grid updates in real time.

✦ Don't Care Support

Add don't care conditions separately to get the most optimized result — a feature many K-Map apps lack.

✦ SOP & POS Results

Instantly switch between Sum of Products and Product of Sums forms. See the minimized equation for both.

✦ Prime Implicant Visualization

Color-coded groupings are drawn directly on the K-Map, including wrap-around groups. See exactly how terms are combined.

✦ Step-by-Step Explanation

Understand the "why" behind every simplification:

• Problem setup and variable identification

• Grouping logic and variable elimination

• Essential prime implicant selection

• Final minimized equation

✦ Beautiful Dark & Light Themes

Switch between dark mode, light mode, or follow your system setting. Designed with Material 3 for a modern, clean experience.

✦ 100% Offline & Private

No internet required. No data collected. No ads. Just a fast, reliable Boolean algebra tool.

★ PERFECT FOR

• Computer Science & Electrical Engineering students

• Digital Logic Design courses

• Circuit design verification

• Discrete Mathematics homework

• Quick Boolean expression checks

★ HOW IT WORKS

1. Choose 3 or 4 variables

2. Enter your expression or tap cells on the K-Map

3. Tap "Solve"

4. View your minimized SOP/POS expression with visual groupings and explanations

Download SimpliMap now and make Boolean simplification simple.