Steps in the reduction of a propositional formula using a Karnaugh map. The final result is the OR (logical "sum") of the three reduced terms.