Half Adder, Logic Circuit, Karnaugh Map, Truth Table, Digital Electronics - Discrete Mathematics