我尝试解决SAT Problem特别是3-SAT。我的数据集来自SATLIB，我使用Neuroph来创建神经网络。在我的数据集中，短语的子句表示为：
1 -2 0
2 3 0
-3 2 0
其中 0 - 条款结束， {1,2,3} - 变量，＆＃34; - ＆＃34;（减号） - 否定。又名这等于：
(a^(not)b)v(b^b)v((not)c^b)
我的问题是，我不知道如何将此表示为神经网络的输入。根据这个答案，我将选择正确的输入节点，我需要。
P.S：我不知道它是否重要，但NN输出必须回答＆＃34;能否满足这个短语？＆＃34;。