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.
- luasseq: Drawing spectral sequences in LuaLaTeX
- lualatex-math: Fixes for mathematics-related LuaLaTeX issues
- syllogism: Typeset syllogisms in LaTeX
- synproof: Easy drawing of syntactic proofs