https://1library.net/document/zkew2e4m-chapter-boolean-algebra.html