AFM.AQR.5.7: Simplify Boolean algebra expressions using Karnaugh maps (K-maps).