乍一看以为是3-SAT不可做，动动脑子发现是2-SAT（鉴于本题解书写时洛谷题面暂无中文翻译，为避免可能的歧义或困惑，先对本题解中的译法进行约定：英文题面中“honestvillager”或日文题面中“正直者”译为“诚实村民”。英文题面中“liar”或日文题面中“嘘つき”译为“撒谎村民”