Mantiq – Boolean Algebra Simplifier & Digital Logic Circuit Simulator

Mantiq is a free, offline-capable digital logic workbench for students, educators, and engineers. Type a Boolean expression and get a minimized SOP/POS solution, a step-by-step algebraic and Quine-McCluskey proof, a Karnaugh map (K-Map) for 2-5 variables, a full truth table, an interactive simulated circuit diagram, and exportable gate-level or dataflow Verilog HDL code.

This app requires JavaScript and WebAssembly to run. Please enable JavaScript in your browser to use Mantiq.

Initializing Logic Engine...

Truth Table

Waveform Diagram

Karnaugh Map

Algebraic Proof

This is an experimental feature to help guide you. Since it's computer-generated, the steps might look a bit different from how a human would solve it!

Quine-McCluskey

Gate Level Verilog

Dataflow Verilog

Original Circuit

Simplified Circuit

Original PCB Simulation

Toggle inputs to simulate

Simplified PCB Simulation

Toggle inputs to simulate

Gate / Operation	Supported Symbols	Examples
AND	`*`, `&`, `AND`	`AB`, `A(B+C)`, `A * B`
OR	`+`, `\|`, `OR`	`A + B`, `A \| B`
NOT	`'` (suffix), `!`, `~`, `NOT`	`A'`, `!A`, `~(A+B)`
XOR	`^`, `XOR`	`A ^ B`, `A XOR B`
XNOR	`=`, `<->`, `XNOR`	`A = B`, `A <-> B`

Format	Syntax	Examples
Minterms	`m(...)`	`m(1,2,3)`
Maxterms	`M(...)`	`M(0,2,4)`
With Don't Cares	Add `d(...)` or `D(...)`	`m(1,3) d(5,7)`, `M(0) D(2)`
Custom Variables	Prefix with `vars:`	`a,b,c: m(1,2)`, `w,x,y,z: M(0,15)`

Format	Syntax	Examples
By Variable Count	`KMAP(num)`	`KMAP(3)`, `KMAP(4)`
By Custom Variables	`KMAP(v1, v2...)`	`KMAP(x,y,z)`

Commitment to Academic Integrity

Truth Table

Waveform Diagram

Karnaugh Map

Algebraic Proof

Quine-McCluskey

Gate Level Verilog

Dataflow Verilog

Original Circuit

Simplified Circuit

Original PCB Simulation

Simplified PCB Simulation

Learn Formats

1. Boolean Algebra Expressions

2. Canonical Forms

3. Blank K-Map Generation

Example Expressions

Boolean Expressions

Variables & Terms

Min/Max Terms

K-Map Formats

About Mantiq

Mantiq

Minimize Expressions

Algebraic Proofs

Karnaugh Maps

Truth Tables

Live Circuit Simulation

Verilog Export

Install mantiq

Alternative Simplified Solutions

Share Expression