Apply suggestions from code review

smichr · Dec 12, 2024 · 2657ac0 · 2657ac0
1 parent d3dc506
commit 2657ac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py
@@ -134,7 +134,7 @@ def ok(f):
             raise NotImplementedError('non-literal BooleanFunction')
 
         # simplification can remove redundant symbols
-        args = [simplify_logic(simpler(i)) for i in (self, other)]
+        args = [simplify_logic(i) for i in (self, other)]
         return not satisfiable(Not(Equivalent(*args)))
 
     def to_nnf(self, simplify=True):