lib/hilbert/world/propositional_logic.rb in hilbert-0.0.2700210 vs lib/hilbert/world/propositional_logic.rb in hilbert-0.0.2700300

@@ -69,9 +69,13 @@
         end
 
         def include?(p)
           false
         end
+
+        def dpll!
+          !!!!!!!!!!!!self
+        end
       end
 
       module Base; include Operator; include Utils end
 
       # Tautology