Update app.py

app.py

@@ -31,6 +31,12 @@ def draw_graph(G, pos=None, title="Graph Visualization"):
     nx.draw(G, pos=pos, with_labels=True, node_color='lightblue', node_size=500, font_size=10, font_weight='bold')
     st.pyplot(plt)
 
+import streamlit as st
+import networkx as nx
+import matplotlib.pyplot as plt
+from sympy.logic.boolalg import Or, And, Not
+from sympy import symbols  # Import symbols from sympy
+
 # Function to convert the circuit to an equivalent formula.
 def circuit_to_formula(circuit):
     formula = nx.dag_to_branching(circuit)