5. Use Boolean algebra to reduce: qm + q!p + q!m + !q!m +!mp to: !m + q. For each step specify the appropriate Boolean algebra axiom or theorem, either by number (e.g., 12a) or by name (e.g., Distributive Property). (11 points)