Karnaugh Maps Solver (Very basic website, but very good.)
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.