failing test fix

Vipul-Cariappa · Oct 23, 2023 · ddd33b8 · ddd33b8
1 parent f746251
commit ddd33b8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/logic/proof.py b/logic/proof.py
@@ -404,7 +404,10 @@ def prove(self) -> tuple[Proof, bool]:
                 case CompositePropositionBICONDITIONAL(assumption=assumption, conclusion=conclusion):
                     # Applying definition of Bi-Conditional
                     #  (p <-> q) -> (p -> q) & (q -> p)
-                    if IMPLY(assumption, conclusion) == self.conclusion or IMPLY(conclusion, assumption) == self.conclusion:
+                    if (
+                        IMPLY(assumption, conclusion) == self.conclusion
+                        or IMPLY(conclusion, assumption) == self.conclusion
+                    ):
                         self.proof.add(Equivalence.DefinitionOfBiConditional, i)
                         return self.proof, True