https://thelogictutorial.blogspot.com/2024/04/algebraic-manipulation-of-boolean.html