4 variable k-map