From d3dc506ff0ec97a8732100c6670eec61fcddacde Mon Sep 17 00:00:00 2001
From: Christopher Smith <smichr@gmail.com>
Date: Thu, 12 Dec 2024 09:23:04 -0600
Subject: [PATCH] Apply suggestions from code review

---
 sympy/logic/boolalg.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py
index 5110a4f24483..6eb752adc7d7 100644
--- 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 = simpler(self), simpler(other)
+        args = [simplify_logic(simpler(i)) for i in (self, other)]
         return not satisfiable(Not(Equivalent(*args)))
 
     def to_nnf(self, simplify=True):