C++ utility for generating truth tables and evaluating logical equivalences