// "nor-01.hac" should pass

defproc nor2_ver1(bool a, b, c) {
prs {
	a | b	-> c-
	~a & ~b	-> c+
}
}

defproc nor2_ver2(bool a, b, c) {
prs {
	a | b	=> c-
}
}

defproc nor2_ver3(bool a, b, c) {
prs {
	~a & ~b	=> c+
}
}

