NAME

       boolstuff - Disjunctive Normal Form boolean expression C++ library

SYNOPSIS

       g++ prog.cpp -lboolstuff

DESCRIPTION

       boolstuff  is  a  C++ library that contains an algorithm to convert a boolean expression binary tree into
       the Disjunctive Normal Form.  The NOT operator is supported.  A  C  API  covers  most  of  the  library's
       functionality.

       The  Disjunctive  Normal  Form  is  an  ORing of ANDed terms.  In other words, if the OR is considered an
       additive operation and the AND a multiplicative operation, then the DNF is a sum of products.

       For example, the DNF of the expression a&(b|c) is a&b|a&c

       The DNF eliminates parentheses  and  provides  a  normalized  form  of  the  original  expression.   This
       normalized form is easier to execute.

       The  DNF  produced  by BoolStuff is devoid of any "useless" terms, which are always false (e.g., x&y&!x),
       but the terms that form the DNF  are  not  necessarily  simplified  (e.g.,  x&y&x).   When  executing  an
       expression  in DNF, it is recommended to obtain the list of terms and then to obtain the set of variables
       used in each term.  In the case of the term x&y&x, the set will only contain x once.

EXAMPLES

       The library's source archive comes with an example program (in the 'examples' subdirectory) and with  two
       testing programs (in the src/boolstuff subdirectory).

LICENSE

       This program is free software; you may redistribute it under the terms of the GNU General Public License.
       This program has absolutely no warranty.

AUTHOR

       Pierre Sarrazin

       See the BoolStuff Home Page:
       http://sarrazip.com/dev/boolstuff.html

       Comments are welcome.

BUGS

       Version 0.1.x is an unstable development version.  The programming  interface  of  the  library  and  the
       command-line  options  of the accompanying commands are not necessarily fixed.  The documentation has not
       been reviewed for completeness.

HISTORY

       George Boole (1815-1864) is an English mathematician who helped establish modern symbolic logic and whose
       algebra of logic, now called Boolean algebra, is basic to the design of digital computer circuits.

                                                 March 1st, 2014                                    boolstuff(3)