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.
Required Ruby Version
>= 0
Authors
Lovic Gauthier
Versions
- 0.3.9 June 27, 2017 (41.5 KB)
- 0.3.8 January 27, 2017 (41.5 KB)
- 0.3.7 January 26, 2017 (40.5 KB)
- 0.3.6 January 24, 2017 (40.5 KB)
- 0.3.5 January 18, 2017 (40 KB)
- 0.2.4 December 23, 2016 (17.5 KB)