main.c

x1*x2 + x2*!x3