https://karnaughmapsolver.com/
Karnaugh Map Solver | Free Online K-Map Simplification Tool
Free Karnaugh Map Solver: Simplify Boolean expressions from Truth Tables, Boolean, Minterm/Maxterm inputs. Generate SOP/POS with step-by-step solutions.
karnaugh mapfree onlinesolversimplificationtool
https://ctan.org/pkg/karnaugh-map
CTAN: Package karnaugh-map
ctanpackagemap