https://redrivergorgetopomap.blogspot.com/2017/10/k-map-for-4-variables.html