https://survnor.blogspot.com/2023/10/boolean-algebra.html