Truth Tables is a flexible boolean logic calculator and truth table generator. It includes a comprehensive logic tutor which can teach you how to solve truth tables step by step.

Available on the Mac App Store.