如何线性化线性程序的布尔表达式

Question

我正在尝试将布尔表达式放入线性程序:

¬A ∧ B => C

但是我不知道怎么做。我在想下面这个等式:

0 <= (1-A) + B - 2* C <= 1

但是不知怎么的，我的程序告诉我，我有一个不可行的解。也许有人能帮忙

Answer 1

0 <= (1-A) + B - 2* C <= 1

肯定不正确。例如，它不允许a=b=0,c=1。你在截断有效的解。

强

c >= b-a

检查:

a  b  b-a    c 
----------------
0  0   0    0,1
0  1   1     1
1  0  -1    0,1
1  1   0    0,1

对我来说是正确的。