我尝试解决SAT 问题，特别是 3-SAT。我的数据集来自SATLIB，我使用Neuroph创建神经网络。在我的数据集中，一个短语的子句表示如下：
1 -2 0
2 3 0
-3 2 0
其中0 - 子句结尾，{1,2,3} - 变量，“-”（减号） - 否定。也就是这等于：
(a^(not)b)v(b^b)v((not)c^b)
我的问题是不知道如何表示这个像神经网络的输入。基于这个答案，我将选择我需要的正确输入节点。
PS：我不知道它是否重要，但NN输出必须是“可以满足短语吗？”的答案。