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.