logic_tools 0.3.0

LogicTools is a set of command-line tools for processing logic expressions. The tools include: simplify_qm for simplifying a logic expression, std_conj for computing the conjunctive normal form of a logic expression, std_dij for computing the disjunctive normal form a of logic expression, and truth_tbl for generating the truth table of a logic expression.