This is a screenshot for the software Bmin. Visualizer of Boolean minimization.