K-Map Solver loaded. This is a Karnaugh Map for Boolean logic simplification. Click cells to toggle between 0 and 1, then ask me to group and simplify — or just ask anything about K-Maps.