boolean_simplifier 1.0.0 → 1.0.1

data/lib/boolean_simplifier.rb

@@ -18,3 +18,4 @@ require "boolean_simplifier/rule/distributivity"
 require "boolean_simplifier/rule/double_negation"
 require "boolean_simplifier/rule/idempotence"
 require "boolean_simplifier/rule/identity"
+require "boolean_simplifier/rule/negation_of_boolean"

data/lib/boolean_simplifier/base.rb

@@ -1,6 +1,6 @@
 module BooleanSimplifier
   def version
-    "1.0.0"
+    "1.0.1"
   end
 
   def simplify(string)

data/lib/boolean_simplifier/rule/negation_of_boolean.rb

@@ -0,0 +1,16 @@
+module NegationOfBoolean
+  def simplify(expr)
+    if expr.class == Negation
+      if expr.parts[0] == true
+        return false
+      elsif expr.parts[0] == false
+        return true
+      end
+    end
+
+    expr
+  end
+
+  extend self
+  Rule.collection << self
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: boolean_simplifier
 version: !ruby/object:Gem::Version
-  version: 1.0.0
+  version: 1.0.1
   prerelease: 
 platform: ruby
 authors:
@@ -82,6 +82,7 @@ files:
 - lib/boolean_simplifier/rule/double_negation.rb
 - lib/boolean_simplifier/rule/idempotence.rb
 - lib/boolean_simplifier/rule/identity.rb
+- lib/boolean_simplifier/rule/negation_of_boolean.rb
 - lib/boolean_simplifier/rule.rb
 - lib/boolean_simplifier.rb
 homepage: https://github.com/tuzz/boolean_simplifier