Truth Table Solver
The 1.2 version of Truth Table Solver for Mac is provided as a free download on our website. This free Mac app was originally designed by Sherif Ahmed. Our built-in antivirus scanned this Mac download and rated it as virus free. The program is included in Productivity Tools.
From the developer:
Truth Table Solver is a software application that solves the truth table and outputs all the possible minimized boolean expressions. It uses the Quine-McCluskey algorithm (Tabulation method) for boolean minimization. The tool has an easy-to-use GUI and comes with a command-line mode.
You may want to check out more software for Mac, such as Truth Tables, Table Rock Sound or Dark Lore Mysteries: The Hunt For Truth, which might be related to Truth Table Solver.