https://thelogictutorial.blogspot.com/2024/04/boolean-algebra-introduction.html