// "and-nand-alt.hac"
// copy-modified from "and-nand.hac"
// combined gate

// alternate writing
defproc and_nand(bool a, b, c, d, o) {
prs {
	~(a & b) & ~(c & d)	=> o+
}
}

bool a, b, c, d, o;

and_nand x(a, b, c, d, o);

