cleanup K-mapping