在问题UVA1086 The Ministers' Major Mess中，我们遇到了这样一个问题： …… “y‘或’n‘，表明该方案的最终决定，若根据已知无法判定最终决定，则输出‘？’…… 在我个人的理解中，我们的2-SAT模板可以通过构建强连通分量解决关于一个逻辑方程“是否可以产生其中一种可能解”的问题，而关于“生成一种可能解”和“该解是否为该方程唯一的解”我还是一筹莫展。请问有没有可能的解决方法，可以解决这两个问题。

（ps.或者我对2-SAT问题的理解不深刻其实已经求出只是我不会写判定请大佬指出QAQ）