https://thelogictutorial.blogspot.com/2024/04/simplification-of-boolean-functions.html