https://1library.net/document/qvr55e1y-cs-introduction-computing-lecture-boolean-algebra-logic-circuits.html