https://not2de.blogspot.com/2024/04/k-map-example.html