Update sympy/logic/boolalg.py

smichr · Dec 4, 2024 · 0d41f96 · 0d41f96
1 parent 2116458
commit 0d41f96
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py
@@ -123,7 +123,10 @@ def equals(self, other):
         """
         from sympy.logic.inference import satisfiable
 
-        if not all(is_literal(i) for i in (self, other)):
+        def ok(f):
+            return isinstance(f, (BooleanFunction, Symbol)) and (not f.args or
+                all(ok(a) for a in f.args))
+        if not ok(self) or not ok(other):
             raise NotImplementedError('non-literal BooleanFunction')
         more = self.atoms()
         less = other.atoms()