5-variable k-map