https://keroseneheaterreview.blogspot.com/2022/09/simplifying-and-or-boolean-expression.html