DEF TRUTH_TABLE2
    PORT IN A
    PORT IN B
    PORT IN C
    PORT OUT Z

    NET D

    INST NAND1 NAND A C D
    INST NAND3 NAND B D Z
ENDDEF