Truth Tables at Mac App Store analyse

Truth Tables generates truth tables for the boolean expressions you enter. Enable tutor mode to learn how to solve them column by column.

It supports a wide range of mathematical operators and saves truth tables as plain text files for easy review and manipulation.

Supports the following operators: 1, 0, AND, OR, NOT, NAND, NOR, XOR, Implication and Equivalence.

Supports a (theoretically unlimited) number of atoms, with whatever names you like, e.g. "A", "B", "C", "P", "Q", "R", "Ta", "Tb".

- Enter your own expressions.
- Build truth tables.
- Format expressions using words "A AND B XOR C" into mathematical notation "A ∧ B ⊕ C" automatically.
- Step through the expression column by column, so you can see how the table was made.
- Tutor mode explains how each operator works.
- Save tables to disk for sharing or copy it as plain text.
- Includes several examples: De Morgans Law, Half & Full Adder, Unsatisfiable 3-CNF.
- Lots of help videos on YouTube explaining how to use the app.