Skip to content

abhinab-choudhury/TruthTableGenerator

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

35 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Truth Table Generator

This is a JavaScript program which will generate a truth table given a well-formed formula of truth-functional logic. You can enter multiple formulas separated by commas to include more than one formula in a single table (e.g. to test for entailment). Tables can be displayed in html (either the full table or the column under the main connective only), plain text, or LaTeX. You can also select which symbols to use for the two truth values and the connectives.

The output characters used for the various connectives can be changed by modifying the htmlchar(), txtchar(), and latexchar() functions at the beginning of truthtable.js.

A live version of the program is here.

(c) Michael Rieppel 2010-2022. Released under the MIT License. See LICENSE above for more information.

About

Generates truth tables for formulas of sentential logic

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • JavaScript 51.9%
  • HTML 48.1%