If apps break down every intermediate proposition, the way humans would do it. It supports all usual connectives of classical logic such as negation, conjunction, disjunction, conditional, biconditional, constants, 1 & 0, and falsehood. The truth table calculator supports several non-classical, multi-valued systems of logic.
Features
Support all standard logic.
Multiple formula input.
User-friendly interface.
History of previous input.
Sharing truth table results.
What’s New?
Added XOR operator.
Added Zebra stripes.
Additional Information
Category: Educational
Developer: Varies with device
File Size: Varies with device
Requires OS: Varies with device
Language: English
Permissions: Microphone, Device ID & call information, Storage