Truth table reducer freeware:

http://www.davdata.nl/math/logic1.html

This (Windows) program generates and reduces truth tables from
Boolean Algebra formula's.

Program description, article about programming.

Selectable step by step elimination shows details of reduction process.

 

On a related note, I noticed that this months copy of Electronic Design featured articles honoring those that had an impact on current technology, I would have thought that old George would have got a mention?
George Boole got a bit of a bum rap by inventing something that didn't have that much use until the development of the current digital computer some years after he had passed on.
Max.