https://instrumentationtools.com/topic/boolean-circuit-simplification-examples/