NotImplementedError for nonliteral BooleanFunction.equals

smichr · Dec 4, 2024 · e5cb369 · e5cb369
1 parent 05804c9
commit e5cb369
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py
@@ -124,8 +124,8 @@ def equals(self, other):
         from sympy.logic.inference import satisfiable
         from sympy.core.relational import Relational
 
-        if self.has(Relational) or other.has(Relational):
-            raise NotImplementedError('handling of relationals')
+        if not all(is_literal(i) for i in (self, other)):
+            raise NotImplementedError('non-literal BooleanFunction')
         more = self.atoms()
         less = other.atoms()
         if len(more) < len(less):