logic_tools 0.3.8 → 0.3.9

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 37ffa5f837816fb1f10f87e520b5a1936bac7b66
-  data.tar.gz: 8035e691cd6d385d396a6e3d66395eae6ded6725
+  metadata.gz: 5dade95cdd16e176ef771726670070760e22767b
+  data.tar.gz: cd6d7e20e32e6248241a433eb132c1b51208b342
 SHA512:
-  metadata.gz: 23eeb7a4e711ff0a72c11c68a58e183cd7718882e91e56e1189b2c5436c554f1b031ea6dcee13433505e618aa1b824a7ec878f2b4485a067d90a354376948a1c
-  data.tar.gz: 5202cd8cd9fac2dfea65f6d36c120f9e12bd64d1cb9ff22adaacb3502c15955d3b6498928c4c7ca1dfe8ef070331652c6bcf94edd816e24014172bb54bc54c35
+  metadata.gz: 52c6bc9a2d9477a31e1da1216886e8289b36724e7f138eea0375b163a00ee8b8c8fef27cca9a3942b9936453f69acbccb10919389fe4369f1d75b11ceeb4e879
+  data.tar.gz: 8ae5d6377e9f8554769290c66724598814ddb59c80932ca9fd464f55dd48359f4be3875ed053a1da0efaff2faacc7ac665627ce6b102d1979da3cb744e335c88

data/README.md

@@ -8,7 +8,7 @@ The tools include:
  * __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\_tautolofy__: for checking if a logic expression is a tautology or not.
+ * __is\_tautology__: for checking if a logic expression is a tautology or not.
  * __complement__: for computing the complement of a logic expression.
 
 

data/lib/logic_tools/logicconvert.rb

@@ -76,6 +76,11 @@ module LogicTools
 
             # Fill it with the cubes corresponding to each product
             tree.each do |product|
+                next if product.is_a?(NodeFalse)
+                if product.is_a?(NodeTrue) then
+                    cover.add(Cube.new("-"*vars.size))
+                    next
+                end
                 product = [ product ] unless product.is_a?(NodeNary)
                 # print "product=#{product}\n"
                 # Generate the bit string of the cube

data/lib/logic_tools/simplify_bug.txt

@@ -18,8 +18,16 @@
 
 ---
 === Bug 3
-   # simpligy_es "a(b+c(d+e(f+g)))"
+   # simplify_es "a(b+c(d+e(f+g)))"
 
    -> Crashes
 
 *FIXED*
+
+---
+=== Bug 4
+   # simplify_es "(~b+c)(~a+~b+~c)"
+
+   -> Carshes
+
+*FIXED*

data/lib/logic_tools/version.rb

@@ -1,3 +1,3 @@
 module LogicTools
-  VERSION = "0.3.8"
+  VERSION = "0.3.9"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.8
+  version: 0.3.9
 platform: ruby
 authors:
 - Lovic Gauthier
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-01-27 00:00:00.000000000 Z
+date: 2017-06-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler