> Knuth takes this concept one step further and produces visualizations of non-trivial boolean formulas that clearly show the regular, both symmetrical and asymmetrical, sometimes fractal-like nature of these formulas.
The visualizations were done by Carsten Sinz.
This is his paper describing the technique:
Carsten Sinz. Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Automated Reasoning, 39(2):219-243, 2007.
https://www.carstensinz.de/papers/JAR-2007-Visualization.pdf