Skip to main content
MathOverflow

Return to Question

Post Closed as "Not suitable for this site" by Gerald Edgar, abx, kodlu, Max Alekseyev, LSpice
edited body; edited title
Source Link
A.R.S
A.R.S
  • 25
  • 5

Integer linear constraint(s) for y= x1 NORXOR x2

Is there any way to convert $y=x_1~ \text{NOR} ~x_2$$y=x_1~ \text{XOR} ~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

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 XOR x2

Is there any way to convert $y=x_1~ \text{XOR} ~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$?

Source Link
A.R.S
A.R.S
  • 25
  • 5

Integer linear constraint(s) for y= x1 NOR x2

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$?