NAND 게이트는 논리곱의 부정으로, 입력 A와 B가 모두 1일 때만 출력이 0이 됩니다. 선정된 정답 '1'은 pMOS의 경우 F = A + B 이므로, nMOS는 논리곱을 구현해야 합니다. 즉, pMOS는 입력의 OR 연산을, nMOS는 AND 연산을 통해 전체 함수 F를 만족하는 구조를 갖습니다. 이 구분이 NAND 게이트의 특성을 잘 나타냅니다.