allow for two And's to be joined

QuMuLab · Sep 19, 2021 · d3dc209 · d3dc209
1 parent cc7e5ad
commit d3dc209
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nnf/__init__.py b/nnf/__init__.py
@@ -92,7 +92,7 @@ def __and__(self: T_NNF, other: U_NNF) -> 'And[t.Union[T_NNF, U_NNF]]':
         """And({self, other})"""
         # prevent unnecessary nesting
         if type(self) == And:
-            return And({*self.children, other})
+            return And({*self.children, *other.children}) if type(other) == And else And({*self.children, other})
         return And({self, other})
 
     def __or__(self: T_NNF, other: U_NNF) -> 'Or[t.Union[T_NNF, U_NNF]]':