Truth Table Solver

Copyright (C) <2011> <Sherif Ahmed>


  Truth Table Solver is a program that solves the truth table and output all the possible minimized boolean expressions. It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.It has an easy to use GUI that can solve up to 16 terms functions. It has a command line mode with no number of terms restriction,but be aware that the program might be slow for big number of terms. It has the option "one solution" which give one minimized solution very fast.You can chose the solution to be "sum of products" or "product of sums". The current release of the program is written in java.

Truth Table Solver 1.2 Beta "GUI"

Truth Table Solver 1.1 Beta



Current Release

  The current release is Truth Table Solver 1.2 Beta.

Truth Table Solver 1.2 Beta "command line mode"

Truth Table Solver 1.1 Beta

Release History

Release Date
Truth Table Solver 1.2 Beta 2011-9-4
Truth Table Solver 1.1 Beta 2010-10-30
Truth Table Solver 1.0 Beta 2010-10-06
truth table solver_windows_Alpha 2010-05-03
truth table solver_linux_Alpha 2010-05-03


  Download page.


  The Project Page in sourceforge.


  Truth Table Solver is free and open source software under the terms of GNU General Public License (GPL).

  Copyright (C) <2011> <Sherif Ahmed>

  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  GNU General Public License for more details.

Bugs & Suggestions

  Report any bug or if you have any suggestions to <>.

Get TRUTH TABLE SOLVER at Fast, secure and Free Open Source software downloads GNU General Public License (GPL) Valid HTML 4.01 Transitional