Install boolstuff by entering the following commands in the terminal:
sudo apt update sudo apt install boolstuff
Description:
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).
Homepage: http://sarrazip.com/dev/boolstuff.html
Version: 0.1.15-1ubuntu2
Section: universe/libs