Booltool

Parses Boolean expressions (AND, OR, NOT, XOR operations) using a tokenizer and recursive descent parser, then evaluates them against variable assignments to produce immediate truth values. The system maintains an in-memory expression tree that updates reactively as users modify inputs, enabling sub-100ms evaluation cycles for complex nested expressions with multiple variables.

Renders Boolean logic circuits as directed acyclic graphs using SVG or Canvas, with nodes representing logic gates (AND, OR, NOT, XOR) and edges representing signal flow. The visualization engine uses force-directed layout algorithms or grid-based positioning to automatically arrange gates, then applies real-time signal propagation to highlight active paths based on current variable values, creating an animated flow visualization.

Automatically generates exhaustive truth tables by enumerating all 2^n possible input combinations for n Boolean variables, evaluating the expression for each combination, and rendering results in a tabular format with rows for each input state and columns for each variable plus the output. The table updates reactively as users modify the Boolean expression, maintaining sort order and filtering preferences across updates.

Provides a graphical interface where users drag logic gate symbols (AND, OR, NOT, XOR) onto a canvas and connect them with wires to build expressions visually, with real-time syntax validation that highlights invalid connections (e.g., attempting to connect an output to another output). The builder converts the visual circuit into a canonical Boolean expression string and vice versa, maintaining bidirectional synchronization between visual and textual representations.

Manages a set of Boolean variables with user-assigned true/false values, providing an interface to toggle individual variables and view their current state. The system maintains variable scope across expression evaluations and circuit visualizations, allowing users to quickly test different input combinations by toggling variables rather than re-entering expressions. Supports batch variable assignment (e.g., setting all variables to false) and variable naming conventions.

Parses Boolean expressions using a recursive descent parser that recognizes standard operators (AND, OR, NOT, XOR) and parentheses, producing an abstract syntax tree (AST) that represents the expression structure. The parser includes error detection for syntax violations (mismatched parentheses, invalid operators, undefined variables) and provides user-friendly error messages indicating the location and nature of the error, enabling quick correction.

Applies Boolean algebra rules (De Morgan's laws, absorption, idempotence, etc.) to simplify expressions and reduce gate count in circuits. The system analyzes the expression AST and identifies optimization opportunities, suggesting equivalent but simpler forms that produce the same truth table. Simplifications are presented as suggestions with before/after comparisons, allowing users to accept or reject optimizations.