https://atozee01.blogspot.com/2024/08/simplification-using-boolean-algebra.html