add k-map diagram