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.
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.2 December 11, 2016 (17 KB)