Task: Construct and verify an OR gate using AND & NOT gates.