K-Map Solver Beta

Interactive Karnaugh Map tool with Truth Table and Boolean Expression Simplification

K-Map Input

Input Method

Use (A-D) for variables, ' for NOT, multiplication for AND (AB), + for OR.
Truth Table Input Mode

Click on the output cells in the Truth Table below to toggle between 0, 1, and X (don't care).

The K-Map will update automatically as you edit.

K-Map (4-Variable)

AB=00 AB=01 AB=11 AB=10
CD=00 0 4 12 8
CD=01 1 5 13 9
CD=11 3 7 15 11
CD=10 2 6 14 10

Results

Simplified Boolean Expression

Result will appear here

Boolean Expression Groups

Groups will appear here
Selected Cells: None

Truth Table

A B C D Index Output