6-variable k-map