A C++ library that supports a few operations on boolean expression binary trees. The main features are a simple boolean expression parser, an algorithm to convert a boolean expression tree into its Disjunctive Normal Form, and a function that determines if an expression tree is in DNF. A commmand-line tool can also be used to convert to DNF.
0.1.1625 May 2016 03:21
Use of the deprecated type auto_ptr has been replaced with a home-made workalike. This version is known to compile with GCC 4.9.2, 5.3.0 and 6.1.0. A C example program has been added.
07 Dec 2014 17:24
This version fixes a bug with some expressions whose raw DNF can contain terms of the form a a. It also fixes a bug with the negation of a DNF composed only of useless terms, like (a !a a !a).