Is there any way to convert $y=x_1~ \text{NOR} ~x_2$ to linear constraints? It means we write some linear relations with:
if $x_1=x_2 =0$ or $x_1=x_2=1$ $\to$ $y=0$, else, $y=1$?
Integer linear constraint(s) for y= x1 NOR x2
A.R.S
- 25
- 5