https://123dok.org/document/yd7e6mx6-boolean-functions-and-circuits.html