2-SAT
一般解决的是 or 的问题。
将逻辑关系抽象成单向边，注意其逆否命题，但其逆命题可不能抽象为边。
假定 \(i \ \text{or} \ j=1\)，那么若 \(i=0\)，则 \(j=1\)，以及其逆否命题。但不能是，若 \(j=1\)，则 \(i=0\)。
但在 AND 的情况中，便需要考虑其逆命题。https://www.cnblogs.com/xugangfan/p/16563134.html
https://www.cnblogs.com/alex-wei/p/high_level_graph_theory.html
还有，对于 \(x=k\)，这类每个元最终确定一个值的问题，同样可抽象为 \(x\ge k\)，然后变为 2-SAT 问题。
