https://instrumentationtools.com/topic/boolean-rules-for-simplification/