New on CTAN: boolalg
Initial release (v1.0.0) of the boolalg package. Features: - Pure-TeX recursive-descent parser supporting algebraic, programmatic, and LaTeX math notations for Boolean expressions (AND, OR, NOT, NAND, NOR, XOR, XNOR). - Automatic truth table generation (\btable, \btable*) with intermediate sub-expression columns and automatic width fallback. - Step-by-step Boolean expression simplification (\bsimplify, \bsimplify*) with explicit law justifications (including Absorption and the Consensus theorem). - Bidirectional algebraic equivalence prover (\bprove) with automatic counterexample search when two expressions are not equivalent.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/boolalg More information is at https://ctan.org/pkg/boolalg
Thanks for the upload. For the CTAN Team Erik Braun CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs .
Boolalg – Truth tables, step-by-step simplification, and algebraic proofs for Boolean
The boolalg package provides pure-TeX macros for parsing, evaluating, simplifying, and proving Boolean algebra expressions without requiring external tools, Python, or shell-escape:
– \btable and \btable*: Generate truth tables with intermediate subexpression columns and optional simplified results. – \bsimplify and \bsimplify*: Perform step-by-step algebraic simplification with explicit law justifications (Idempotence, Absorption, Consensus theorem, De Morgan’s laws, Distributivity, etc.). – \bprove: Construct step-by-step algebraic proofs between two equivalent expressions, or automatically find and print a concrete counterexample if the claim is false.
Expressions support flexible input syntax including implicit multiplication (AB), postfix primes (A'), prefix operators (!, ~), English words (and, or, xor, nand, nor, xnor, not), and standard LaTeX math symbols (\land, \lor, \oplus, \lnot, etc.).
| Package | Boolalg |
| Version | 1.0.0 |
| Copyright | 2026 Param Srivastava |
| Maintainer | Param Srivastava |