// $Id: j_fn01.v,v 1.1 2002/09/30 23:10:57 jeff Exp $

module j_fn01 (zn, a1, b1);
   input a1, b1;
   output zn;

   assign zn = ~(b1 & ~a1);

   // not                  G2(N2, a1);
   // nand                 G3(zn, N2, b1);
endmodule