An alternative shortcut is to build a quick truth table with boundary states: If $A=0, B=0 \rightarrow$ inverted inputs are $1, 1 \rightarrow$ NOR output is $0$. If $A=1, B=1 \rightarrow$ inverted inputs are $0, 0 \rightarrow$ NOR output is $1$. The output only goes high when both inputs are high, confirming it behaves exactly like an AND gate.