module m_a(input x1, x2, x3, output z1, z2);
	assign z1 = (~x1 & ((x2 | x3) & (~x2 | ~x3))) | (x1 & (~x2 | x3));
	assign z2 = (~x1 & x2 & x3) | (x1 & (x2 | x3));
endmodule