Truth Table Generator
The output characters used for the various connectives can be changed by modifying the
latexchar() functions at the beginning of
A live version of the program is here.
(c) Michael Rieppel 2010-2018. Released under the MIT License. See LICENSE above for more information.