logic_tools 0.2.2

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