truthtable – Automatically generate truth tables for given variables and statements
This LuaLaTeX package permits to automatically generate truth tables given a table header. It supports a number of logical operations which can be combined as needed. It is built upon the luacode package.
|Licenses||The LaTeX Project Public License 1.3c|
|Copyright||2021 D. Flück|
|Contained in||TeX Live as truthtable|
MiKTeX as truthtable
Download the contents of this package in one zip archive (142.9k).
Maybe you are interested in the following packages as well.
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic