We currently have k-map for questions about Karnaugh maps. Is this the best possible tag name? Would karnaugh-map be a better choice?
For that matter, would a more general tag like logic-synthesis be more appropriate than either of those? I don't see a compelling reason to have a tag that covers Karnaugh maps but not, e.g., Quine-McCluskey or other methods for achieving the same goal. Any opinions?