Predicate Logic Visualizer
Enter your formula
Abstract Syntax Tree (AST)
AST will be displayed here...