Install boolstuff by entering the following commands in the terminal:
sudo apt update sudo apt install boolstuff
programs for operating on boolean expression binary trees
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).