simplify a logic circuit/expression using Boolean algebra
construct the truth table for each of the logic gates above