Truth Tables 3.42

Truth Tables - The sole purpose of this program is generating, and displaying, truth tables. This free version supports all usual connectives of classical logic, that is negation, conjunction, (inclusive) disjunction, conditional (material implication), and biconditional (material equivalence), as well as the constants 1 and 0 denoting truth and falsehood, respectively