演绎推理的框架？

Question

我有二进制变量和运算，并希望对其进行运算。它看起来应该很粗糙：

A = 0
B = 1
C = ?

temp = A+B
result = XOR(temp, C)

我想要做的是类似于tensorflow / keras的事情：我想要给出一个目标值，并且想要为C计算一个梯度。 Tensorflow / keras似乎不适合此操作，因为此逻辑运算不适用于梯度下降。

此用例的框架是否存在，还是必须从头开始？