truth-table-parser v1.0.8

Truth Table Parser

A REPL tool and library for generating truth tables from a logical proposition (see examples).

Demo

Install

As a command line tool

npm install -g truth-table-parser
truth-table-parse # drops you into a REPL where you can run your propositions.

As a library

npm install truth-table-parser

Examples

> p
> !p
> p & q
> (!p) & q
> (p => q)
> !(p | q)
> (p <=> q)
> !(p => q)
> ((p => q) & (r => s))

Backus-Naur Form (BNF)

The backus naur form for the syntax of a proposition.

<TTP> ::= <PROPOSITION>*

<PROPOSITION> ::= <name> |
                  <UNARY-PROPOSITION> |
                  <BINARY-PROPOSITION>

<UNARY-PROPOSITION> ::= <UNARY-CONNECTIVE> <name> |
                        <UNARY-CONNECTIVE> <BINARY-PROPOSITION>

<BINARY-PROPOSITION> ::= "(" <PROPOSITION> <BINARY-CONNECTIVE> <PROPOSITION> ")"

<UNARY-CONNECTIVE> = "!"
<BINARY-CONNECTIVE> = "&" | "|" | "=>" | "<=>"