BoolStuff is a C++ library that supports a few operations on boolean expression binary trees. . This package includes extra programs that allow the usage of the library from the shell. A command named booldnf can be used to convert an expression to the Disjunctive Normal Form (DNF).