DEF TRUTH_TABLE1
  PORT IN A
  PORT IN B
  PORT OUT Z

  NET BN
  NET ZN

  INST NOT1 NAND B B BN
  INST NAND1 NAND A BN ZN
  INST NOT2 NAND ZN ZN Z
ENDDEF