Merge pull request sympy#17868 from czgdp1807/fuzzy-or

jksuom · web-flow · commit 14c9bf4a2615 · 2019-11-10T21:45:59.000+02:00
Updated fuzzy_or
diff --git a/sympy/core/logic.py b/sympy/core/logic.py
@@ -186,7 +186,14 @@ def fuzzy_or(args):
     None
 
     """
-    return fuzzy_not(fuzzy_and(fuzzy_not(i) for i in args))
+    rv = False
+    for ai in args:
+        ai = fuzzy_bool(ai)
+        if ai is True:
+            return True
+        if rv is False:  # this will stop updating if a None is ever trapped
+            rv = ai
+    return rv
 
 
 def fuzzy_xor(args):
