RubyGems Navigation menu

logic_tools 0.3.6

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.

Gemfile:
=

安装:
=

版本列表:

  1. 0.3.9 June 27, 2017 (41.5 KB)
  2. 0.3.8 January 27, 2017 (41.5 KB)
  3. 0.3.7 January 26, 2017 (40.5 KB)
  4. 0.3.6 January 24, 2017 (40.5 KB)
  5. 0.3.5 January 18, 2017 (40.0 KB)
显示所有版本 (共 15 个)

Runtime 依赖 (1):

parslet >= 0

Development 依赖 (3):

bundler ~> 1.13
minitest ~> 5.0
rake ~> 10.0

业主:

作者:

  • Lovic Gauthier

SHA 256 校验和:

=

下载总量 36,322

这个版本 1,826

版本发布:

许可:

MIT

需要的 Ruby 版本: >= 0

链接: