Simplify logic gates using truth tables and Karnaugh mapping to find a reduced SOP expression and circuit.