LogicTools is a set of command-line tools for processing logic expressions. The tools include: simplify_qm for simplifying a logic expression, simplify_es for simplifying a logic expression much more quickly than simplify_qm, std_conj for computing the conjunctive normal form of a logic expression, std_dij for computing the disjunctive normal form a of logic expression, truth_tbl for generating the truth table of a logic expression, is_tautology for checking if a logic expression is a tautology or not, and complement for computing the complement of a logic expression.

Required Ruby Version

>= 0

Authors

Lovic Gauthier

Versions

  1. 0.3.9

    1. source

      1. 0.3.9 source June 27, 2017 (41.5 KB)
  2. 0.3.8

    1. source

      1. 0.3.8 source January 27, 2017 (41.5 KB)
  3. 0.3.7

    1. source

      1. 0.3.7 source January 26, 2017 (40.5 KB)
  4. 0.3.6

    1. source

      1. 0.3.6 source January 24, 2017 (40.5 KB)
  5. 0.3.5

    1. source

      1. 0.3.5 source January 18, 2017 (40 KB)
Show all versions (15 total)

SHA 256 checksum

← Previous version