Keywords :
Irredundant cover, Karnaugh maps, logic design, minimization, switching systems.; Contracts; Education; Logic design; Minimization methods; NASA; Switching systems; Topology; Irredundant cover, Karnaugh maps, logic design, minimization, switching systems.;