logic_tools 0.3.0 → 0.3.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 5306034ce28f57c0fb9ee57b9d5c3643682f99e2
-  data.tar.gz: f879af69f02c8d96e94e2dfeccc270147d6e621d
+  metadata.gz: 050637aebd4a23cf2fad66977655693b4bfec213
+  data.tar.gz: 633b3b494230e852f4bb4f5b41bf6cfc445de661
 SHA512:
-  metadata.gz: aefc4e9df205c84a42b3157281048ce8c98fe4f097a0d3e3441b0fe13fa8490a4727c66d73aaa92b1af10e1b1ee5c03805e3f941f1f8ae3dc8f563a4d1379a9a
-  data.tar.gz: 03eb53a6df7171d407f6f29f116d3e0ad718767cba29ff4dc19c2bf6bbbc1d6e4ef38754eac8491c2a027008f841fdfd330da36a5f815c7a02a2d751d4ddcc6e
+  metadata.gz: a61b43345ddf05b11fbf9dd01a19bd4c8570e8d609e4a5d4da58a2bd786eb19c2ec028489cdaed9b4801f76681bb97e18c321d39e52dfd91463801324e9659d6
+  data.tar.gz: 017c29e9181dc2421f4260a5852d515de011088a9e495e55f21c6d511246435460ee54ef1079a89350b1d654120e9f00fa5e3656046ba4c6f92b0421a389bcf1

data/README.md

@@ -4,9 +4,12 @@ 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 efficient 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\_tautolofy__: for checking if a logic expression is a tautology or not.
+ * __complement__: for computing the complement of a logic expression.
 
 
 ## Installation
@@ -37,7 +40,7 @@ Multiple expressions stored into a file can also be processed as follows:
 
 The logical expression is an expression where:
 
-* a logical variable is represented by a single alphabetical character (hence there is in total 56 possible variables);
+* a logical variable is represented by a single alphabetical character (hence there is in total 56 possible variables), or a string of alphabetical characters enclosed by curly brackets.
 * a logical OR is represented by a '+' character;
 * a logical AND is represented by a '.' character (but it can be omitted);
 * a logical NOT is represented by a '~' or a '!' character;
@@ -54,6 +57,7 @@ For instance the followings are valid logical expression using the a,b and c var
     "a.b.c"
     "a+b+!c"
     "a~(b+~c)"
+    "{foo}+{bar}"
 
 Finally, here are a few examples of LogicTool usage:
 

data/lib/logic_tools/logictree.rb

@@ -614,6 +614,7 @@ module LogicTools
         #  --
         #  TODO consider the X~X and X+~X cases.
         def reduce
+            # print "reducing #{self}\n"
             # The operator used for the factors
             fop = @op == :and ? :or : :and
             # Gather the terms to sorted nodes
@@ -626,7 +627,8 @@ module LogicTools
             terms.each_with_index do |term0,i|
                 skipped = false
                 terms.each_with_index do |term1,j|
-                    next if (i==j) # Same term
+                    next if (term0 == term1) # Same term, duplicates will be
+                                             # removed after
                     # Checks the X~X or X+~X cases.
                     if ( term0.op == :not and term0.child == term1 ) or
                        ( term1.op == :not and term1.child == term0 ) then
@@ -640,8 +642,14 @@ module LogicTools
                     #     skipped = true
                     #     break
                     # end
-                    if term1.cover?(term0) then
-                        # term1 covers term0 skip term0.
+                    if term0.op == :and and term1.cover?(term0) then
+                        # print "#{term1} is covering #{term0}\n"
+                        # term1 covers term0 skip term0 for AND.
+                        skipped = true
+                        # break
+                    elsif term0.op == :or and term0.cover?(term1) then
+                        # print "#{term0} is covering #{term1}\n"
+                        # term0 covers term1 skip term0 for OR.
                         skipped = true
                         # break
                     end
@@ -650,6 +658,7 @@ module LogicTools
             end
             # Avoid duplicates
             nchildren.uniq!
+            # print "reduced nchildren=#{nchildren}\n"
             # Generate the result
             if (nchildren.size == 1)
                 return nchildren[0]
@@ -687,6 +696,7 @@ module LogicTools
         ## Creates a new tree where the current node is distributed over +node+
         #  according to the +dop+ operator.
         def distribute(dop,node) # :nodoc:
+            # print "distrubte with self=#{self} and node=#{node}\n"
             fop = dop == :and ? :or : :and
             # print "dop=#{dop} fop=#{fop} self.op=#{@op}\n"
             if (@op == dop) then
@@ -695,6 +705,7 @@ module LogicTools
             else
                 # self operator if fop
                 if (node.op == fop) then
+                    # print "(a+b)(c+d) case\n"
                     # node operator is also fop: (a+b)(c+d) or ab+cd case
                     nchildren = []
                     self.each do |child0|
@@ -707,10 +718,12 @@ module LogicTools
                     end
                     return NodeNary.make(fop,*nchildren).flatten
                 else
+                    # print "(a+b)c case\n"
                     # node operator is not fop: (a+b)c or ab+c case
                     nchildren = self.map do |child|
                         NodeNary.make(dop,child,node).flatten
                     end
+                    # print "nchildren=#{nchildren}\n"
                     return NodeNary.make(fop,*nchildren).flatten
                 end
             end
@@ -748,6 +761,7 @@ module LogicTools
             nchildren = node.map {|child| child.to_sum_product(true) }
             # Distribute
             while(nchildren.size>1)
+                # print "nchildren=#{nchildren}\n"
                 dist = []
                 nchildren.each_slice(2) do |left,right|
                     if right then

data/lib/logic_tools/version.rb

@@ -1,3 +1,3 @@
 module LogicTools
-  VERSION = "0.3.0"
+  VERSION = "0.3.2"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.3.2
 platform: ruby
 authors:
 - Lovic Gauthier