真值表中的布尔表达式

问：

我想将真值表转换为布尔表达式： 例如，这是表

a    b         a+b>0
0    1           1         
1    0           1      

我想得到以下输出： （¬a ^b ） ∨ （a ^¬b）

我正在考虑使用替换：

if (value == str(0)):
    table= table(str(value), 'not x')
else:
    table= table.replace(str(value), ' x')

这是不正确的，，

如何将该值替换为列名，然后检查该值是 0 还是 1？

我正在使用 python