jdkato / Tombstone.js

:green_book: A JavaScript propositional logic library.

Tombstone.js

Tombstone.js is a JavaScript propositional logic library. See my blog post for more information.

Usage

Download Tombstone.js from the releases page and include it:

<script type="text/javascript" src="tombstone.min.js"></script>

Create a new Statement:

var statement = new tombstone.Statement('P & Q');

// pass arguments
var ret1 = statement.evaluate({'P': true, 'Q': false}); // false
var ret2 = statement.evaluate({'P': true, 'Q': true}); // true

// make a Markdown-formatted truth table
var truth = statement.table();

// |   P   |   Q   | P & Q |
// | :---: | :---: | :---: |
// |  true |  true |  true |
// |  true | false | false |
// | false |  true | false |
// | false | false | false |