KV diagram calculator

(source code)

Change output specification by scrolling (up => 1, down => 0), typing (=> 1, 0) or deleting (=> -).

Load example 1, example 2, example 3, example 4. Set all cells to , or .

Karnaugh–Veitch maps are used to simplify a boolean function. Given a truth table (the input grid above), it is possible to create minimal representations of the function in minimal Disjunctive Normal Form and Conjunctive Normal Form. This free online tool will determine all solutions (DMFs, KMFs) automatically, for any number of variables. The resulting diagram can be saved as PNG (take a screenshot) or SVG.