https://keroseneheaterreview.blogspot.com/2023/12/simplifying-and-or-boolean-expression.html