Suggestions for truthtable
The following packages have something in common with the package truthtable. The packages are ordered in decreasing similarity.
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- turnstile: Typeset the (logic) turnstile notation
- luagcd: Computation of gcd of integers inside LaTeX using Lua
- lualinalg: A linear algebra package for LuaLaTeX
- luamaths: Provide standard mathematical operations inside LaTeX documents using Lua
- luaset: Set Operations inside LaTeX documents using Lua
- luasseq: Drawing spectral sequences in LuaLaTeX
- innerscript: Small modifications to math formatting
- luacas: A computer algebra system for users of LuaLaTeX
- luanumint: Numerical integration using Lua inside LaTeX documents
- sympycalc: Work with SymPy and PyLuaTeX
- luahyperbolic: Hyperbolic geometry in the Poincaré disk model
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- fodot: Helpful commands to work with the FODOT
- lkproof: LK Proof figure macros
- logicproof: Box proofs for propositional and predicate logic
- syllogism: Typeset syllogisms in LaTeX
- temporal-logic: Symbols for Temporal Logics
- lualatex-math: Fixes for mathematics-related LuaLaTeX issues
- luamathalign: More flexible alignment in amsmath environments
- luamml: Automatically generate MathML from LuaLaTeX math mode material
- japanese-mathformulas: Compiling basic math formulas in Japanese using LuaLaTeX
- longmath: Nested delimiter groups extending over multiple array cells or lines
- luacomplex: Operations on complex numbers inside LaTeX documents using Lua
- tango: A LaTeX document class for math teachers