Implemented repr for clauses objects

Author: Cubix1729

src/logicalpy/normal_forms.py

@@ -36,6 +36,9 @@ def __str__(self):
             return str(self.literals[0])
         else:
             return "◻"
+        
+    def __repr__(self) -> str:
+        return f"DisjunctiveClause({", ".join([repr(literal) for literal in self.literals])})"
 
     def __eq__(self, other):
         if isinstance(other, DisjunctiveClause):
@@ -83,6 +86,9 @@ def __str__(self):
             return str(self.literals[0])
         else:
             return "◻"
+    
+    def __repr__(self) -> str:
+        return f"ConjunctiveClause({", ".join([repr(literal) for literal in self.literals])})"
 
     def __eq__(self, other):
         if isinstance(other, ConjunctiveClause):