Orion Transfer Truth Table Evaluator

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.

Function: e.g. "A | B <-> (B | A)"

Help

Usage

Operators in order of evaluation. All identifiers must be uppercase.

1. 1: true
2. 0: false
3. ~: not
4. +: xor
5. &: and
6. |: or
7. ->: if
8. <->: equivalence
9. /: separator

Implementation

This truth table generator is written in ruby by Samuel Williams, served using mod_ruby via Apache.

[ © Orion Transfer Ltd ]