MODULE logic
A PIN 1;
B PIN 2;
Y PIN 3;

 EQUATIONS

 Y = A & B;

 TEST_VECTORS

   ([A,B] -> Y)

   [0,0]    -> 0;
   [0,1]    -> 0;
   [1,0]    -> 0;
   [1,1]    -> 1;


END