Supported operations are AND, OR, NOT, and
XOR.
For more information on valid expressions, please refer to the GitHub repo.
Nodes represent binary variables.
Branches represent variable assignments (solid lines for 1 and dashed lines for 0).
Leaves represent expression evaluation for each possible assignment combination.