Text-based stimulus: Access-control logic diagram with input lockdown passing through a NOT gate, then NOT lockdown and card_valid entering an AND gate labeled unlock. A door unlocks only when card_valid=1 and lockdown=0. Which expression should control unlock?