Logic Solver & K-Map

Variables

2 (A,B) 3 (A..C) 4 (A..D)

Truth Table (Click Output to Toggle)

Karnaugh Map Visualization

Prime Implicant Uncovered

Simplified Logic

Minimization Stats

Inputs: 3 Minterms: 0 Groups: 0

Simplified Boolean

Optimized C Code

                            if (0) {
    output = 1;
}
                        

Bitwise Macro

#define LOGIC_CHECK(A,B,C) (0)