https://vlsiweb.com/boolean-algebra/