BDD Solver
Input Formula
["not",["x1","or",[["not","x2"],"or",["not","x3"]]]]
Generate Random ... Size:
NumVars:
Visualization
Method A
Show graph
=
Method B
Show graph
Graphviz Definition
digraph {}
Link for this graph