kmap solver
online karnaugh map solver that makes a kmap, shows you how to group the terms, shows the simplified boolean equation, and draws the circuit for up to 6 variables. a quine-mccluskey option is also available for up to 6 variables.
ADS