[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

machine_learning/ttentails.py

@@ -10,6 +10,7 @@
 import itertools
 from typing import List, Dict
 
+
 def tt_entails(kb: List[str], query: str, symbols: List[str]) -> bool:
     """
     Check if the knowledge base entails the query using truth tables.
@@ -21,8 +22,8 @@ def tt_entails(kb: List[str], query: str, symbols: List[str]) -> bool:
 
     Returns:
         bool: True if KB entails query, False otherwise
-    
-    Example: 
+
+    Example:
         tt_entails(["P or Q"], "Q", ["P","Q"])
 
     """
@@ -35,19 +36,17 @@ def tt_entails(kb: List[str], query: str, symbols: List[str]) -> bool:
                 return False
     return True
 
+
 # Example usage
 if __name__ == "__main__":
     # Example 1: KB entails query → should return True
     symbols = ["P", "Q"]
-    kb = ["P or Q", "not P or Q"] # KB says P or Q is True, and not P or Q is True
-    query = "Q" # Query: Is Q True?
+    kb = ["P or Q", "not P or Q"]  # KB says P or Q is True, and not P or Q is True
+    query = "Q"  # Query: Is Q True?
     print("Does KB entail query? : ", tt_entails(kb, query, symbols))
-    
+
     # Example 2: KB does NOT entail query → should return False
     symbols2 = ["P", "Q"]
-    kb2 = ["P"]        # KB says only P is True
-    query2 = "Q"       # Query asks if Q is True
+    kb2 = ["P"]  # KB says only P is True
+    query2 = "Q"  # Query asks if Q is True
     print("Does KB2 entail query2? : ", tt_entails(kb2, query2, symbols2))
-    
-
-