Given variables, this application outputs a truth table. These are Test Cases for "bool-expr-solve" on source forge: http://sourceforge.net/projects/bool-expr-solve/?source=directory