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