https://thelogictutorial.blogspot.com/2024/03/boolean-expressions-in-compiler-design.html