Create app.py

app.py

@@ -0,0 +1,45 @@
+import streamlit as st
+import sympy as sp
+import pandas as pd
+
+st.set_page_config(page_title="Logic Solver", layout="centered")
+
+st.title("🧩 AI Logic Solver")
+st.write("Enter a logical expression using:")
+st.write("~ (NOT), & (AND), | (OR), >> (IMPLIES)")
+
+# User input
+expr_input = st.text_input("Enter expression (e.g., ~(p & q) >> r):")
+
+if expr_input:
+    try:
+        # Define symbols
+        p, q, r = sp.symbols('p q r')
+
+        # Convert string to expression
+        expr = sp.sympify(expr_input)
+
+        st.subheader("📌 Simplified Expression:")
+        simplified = sp.simplify_logic(expr)
+        st.write(simplified)
+
+        # Truth table
+        st.subheader("📊 Truth Table:")
+
+        variables = sorted(expr.free_symbols, key=lambda x: str(x))
+        rows = []
+
+        for values in range(2**len(variables)):
+            combination = list(map(int, bin(values)[2:].zfill(len(variables))))
+            subs = dict(zip(variables, combination))
+            result = expr.subs(subs)
+
+            row = {str(var): val for var, val in subs.items()}
+            row["Result"] = int(result)
+            rows.append(row)
+
+        df = pd.DataFrame(rows)
+        st.dataframe(df)
+
+    except Exception as e:
+        st.error("❌ Invalid expression. Please follow correct syntax.")