/**
 * And gate:
 * out = 1 if (a == 1 and b == 1)
 *       0 otherwise
 */

CHIP And {
    IN a, b;
    OUT out;
    PARTS:
	Nand(a=a, b=b, out = na);
    Nand(a=na, b=na, out = out);
}