Truth Table Solver
It's useful to check out truth statements quickly, so this tool can help you. Solves standard boolean algebra truth tables. It is best if identifiers are single letter upper case.
Examples
De Morgan's Law (Wikipedia)
Usage
Operators in order of evaluation. All identifiers must be uppercase.
- 1: true
- 0: false
- ~: not
- +: xor
- &: and
- |: or
- ->: if
- <->: equivalence
- /: separator
Implementation
This truth table generator is written in ruby by Samuel Williams. It uses a unique parsing algorithm which supports arbitrary complexity operators, precedence and runs in linear time.
The source code is available here.