DEF AND
PORT IN A
PORT IN B
PORT OUT Z
NET ZN
NET AN
NET BN
INST NOT1 NAND A A AN
INST NOT2 NAND B B BN
INST NAND1 NAND AN BN Z
ENDDEF