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 ZN
    INST NAND2 NAND ZN ZN Z
ENDDEF