logic_tools 0.2.1

data/lib/logic_tools/simplify_bug.txt

@@ -0,0 +1,3 @@
+~a~b~c~d+~a~bc+~ac~d+b~cd+a~b~c~d+a~bd
+got:  ~ac~d+~b~c~d+~bcd+b~cd
+good: ~b~c~d+b~cd+a~bd+~a~bc+~ac~d

data/lib/logic_tools/simplify_qm.rb

@@ -0,0 +1,46 @@
+#!/usr/bin/env ruby
+#########################################################################
+#   Simplifies a logic expression using the Quine Mc-Cluskey algorithm  #
+#########################################################################
+
+
+# For building logic trees
+require "logic_tools/logictree.rb"
+
+# For parsing the inputs
+require "logic_tools/logicparse.rb"
+
+# For simplifying
+require "logic_tools/logicsimplify.rb"
+
+include LogicTools
+
+
+
+
+
+############################
+# The main program
+
+# First gets the expression to treat
+$expr = nil
+# Is it in the arguments?
+unless $*.empty? then
+    # Yes, get the expression from them
+    $expr = $*.join
+else
+    # Get the expression from standard input
+    print "Please enter your expression and end with ^D:\n"
+    $expr = ARGF.read
+end
+
+# Parse the expression
+$parsed = string2logic($expr)
+
+# Simplify it
+$simple = $parsed.simplify
+
+# print "Computation done\n"
+
+# Display the result
+print $simple.to_s, "\n"

data/lib/logic_tools/std_conj.rb

@@ -0,0 +1,43 @@
+#!/usr/bin/env ruby
+##############################################################
+# Convert a logic expression to its conjunctive normal form  #
+##############################################################
+
+
+# For building logic tress
+require "logic_tools/logictree.rb"
+
+# For parsing the inputs
+require "logic_tools/logicparse.rb"
+
+include LogicTools
+
+
+
+
+
+############################
+# The main program
+
+# First gets the expression to treat
+$expr = nil
+# Is it in the arguments?
+unless $*.empty? then
+    # Yes, get the expression from them
+    $expr = $*.join
+else
+    # Get the expression from standard input
+    print "Please enter your expression and end with ^D:\n"
+    $expr = ARGF.read
+end
+
+# Parse the expression
+$parsed = string2logic($expr)
+
+# Generates its conjunctive normal form
+$conj = $parsed.to_std_conjunctive
+
+# print "Computation done\n"
+
+# Display the result
+print $conj.to_s, "\n"

data/lib/logic_tools/std_dij.rb

@@ -0,0 +1,43 @@
+#!/usr/bin/env ruby
+##############################################################
+# Convert a logic expression to its conjunctive normal form  #
+##############################################################
+
+
+# For building logic tress
+require "logic_tools/logictree.rb"
+
+# For parsing the inputs
+require "logic_tools/logicparse.rb"
+
+include LogicTools
+
+
+
+
+
+############################
+# The main program
+
+# First gets the expression to treat
+$expr = nil
+# Is it in the arguments?
+unless $*.empty? then
+    # Yes, get the expression from them
+    $expr = $*.join
+else
+    # Get the expression from standard input
+    print "Please enter your expression and end with ^D:\n"
+    $expr = ARGF.read
+end
+
+# Parse the expression
+$parsed = string2logic($expr)
+
+# Generates its disjonctive normal form
+$dij = $parsed.to_std_disjonctive
+
+# print "Computation done\n"
+
+# Display the result
+print $dij.to_s, "\n"

data/lib/logic_tools/truth_tbl.rb

@@ -0,0 +1,47 @@
+#!/usr/bin/env ruby
+##########################
+# Truth table generator  #
+##########################
+
+
+# For building logic tress
+require "logic_tools/logictree.rb"
+
+# For parsing the inputs
+require "logic_tools/logicparse.rb"
+
+include LogicTools
+
+
+
+
+
+############################
+# The main program
+
+# First gets the expression to treat
+$expr = nil
+# Is it in the arguments?
+unless $*.empty? then
+    # Yes, get the expression from them
+    $expr = $*.join
+else
+    # Get the expression from standard input
+    print "Please enter your expression and end with ^D:\n"
+    $expr = ARGF.read
+end
+
+# Parse the expression
+$parsed = string2logic($expr)
+
+# Display the variables
+$vars = $parsed.getVariables
+$vars.each { |var| print "#{var} " }
+print "\n"
+
+# Display the values
+$parsed.each_line do |vars,val|
+    vars.each { |var| print "#{var.value ? 1 : 0} " }
+    print "#{val ? 1: 0}\n"
+end
+

data/lib/logic_tools/version.rb

@@ -0,0 +1,3 @@
+module LogicTools
+  VERSION = "0.2.1"
+end

data/logic_tools.gemspec

@@ -0,0 +1,44 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'logic_tools/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "logic_tools"
+  spec.version       = LogicTools::VERSION
+  spec.authors       = ["Lovic Gauthier"]
+  spec.email         = ["lovic@ariake-nct.ac.jp"]
+
+  spec.summary       = %q{A set of tools for processing logic expressions.}
+  spec.description   = %Q{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.}
+  spec.homepage      = "https://github.com/civol"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  # if spec.respond_to?(:metadata)
+  #   spec.metadata['allowed_push_host'] = "TODO: Set to 'http://mygemserver.com'"
+  # else
+  #   raise "RubyGems 2.0 or newer is required to protect against " \
+  #     "public gem pushes."
+  # end
+
+  spec.files         = `git ls-files -z`.split("\x0").reject do |f|
+    f.match(%r{^(test|spec|features)/})
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.13"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "minitest", "~> 5.0"
+
+  # Expressions are parsed using parslet
+  spec.add_dependency "parslet"
+end

metadata

@@ -0,0 +1,133 @@
+--- !ruby/object:Gem::Specification
+name: logic_tools
+version: !ruby/object:Gem::Version
+  version: 0.2.1
+platform: ruby
+authors:
+- Lovic Gauthier
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2016-11-04 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.13'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.13'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.0'
+- !ruby/object:Gem::Dependency
+  name: parslet
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: |-
+  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.
+email:
+- lovic@ariake-nct.ac.jp
+executables:
+- simplify_qm
+- std_conj
+- std_dij
+- truth_tbl
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- exe/simplify_qm
+- exe/std_conj
+- exe/std_dij
+- exe/truth_tbl
+- lib/logic_tools.rb
+- lib/logic_tools/logicparse.rb
+- lib/logic_tools/logicsimplify.rb
+- lib/logic_tools/logictree.rb
+- lib/logic_tools/simplify_bug.txt
+- lib/logic_tools/simplify_qm.rb
+- lib/logic_tools/std_conj.rb
+- lib/logic_tools/std_dij.rb
+- lib/logic_tools/truth_tbl.rb
+- lib/logic_tools/version.rb
+- logic_tools.gemspec
+homepage: https://github.com/civol
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.6.8
+signing_key: 
+specification_version: 4
+summary: A set of tools for processing logic expressions.
+test_files: []