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