SimpliMap: K-Map Solver

Nguyen Cao Thiem

About this app

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.