Students will study a slightly more rigorous form of logic in the form of logic gates: and, not, and or gates.