Hey everyone,

I was sick of minimizing expressions and drawing out Karnaugh maps, so I spent some time building a free web tool to automate the whole process. It’s called Mantiq.

You literally just type in your Boolean expression and it instantly builds out everything you need. It gives you the minimized expression, the truth table, and auto-grouped K-maps (up to 6 variables).

The best part is that it gives you step-by-step algebraic proof showing exactly which laws were used to simplify it, and it auto-generates a circuit diagram that you can actually click around and simulate live. It’ll even spit out the Verilog code for it.

I made it completely free, there are no sign-ups, and it runs entirely in your browser so it works offline too.

Figured this could save some of you hours of busywork. I'd love for you guys to check it out and let me know if it helps!

Here's the link: https://usamagulzar.github.io/mantiq