summaryrefslogtreecommitdiff
path: root/libraries/boolstuff/README
blob: df93a7cb79f4a3918164602e35e119a05427fb31 (plain)
1
2
3
4
5
6
7
8
BoolStuff is a small C++ library that supports a few operations on
boolean expression binary trees. The main features are: 
- a boolean expression parser (supports operators AND, OR
  and NOT, as well as parentheses);
- an algorithm to convert a boolean expression binary tree
  into its Disjunctive Normal Form;
- a function that determines if an expression tree is in DNF.
A command named `booldnf' that calls this library is also provided.