https://251news.com/book/on-big-boolean-equation-solving-and-its-utility-in-combinatorial-digital-design/