https://byveera.blogspot.com/2019/09/simplifying-expressions-using.html