Ketan Appa

Free
It builds truth tables from Boolean/propositional formulae that you enter.
Free
Advanced Karnaugh Minimizer simplifies Boolean expressions and Karnaugh maps with up to 8 variables.