题解：P7020 [NWRRC2017] Boolean Satisfiability

· · 题解

结论数学题目。

如果同时存在 !a 和 a 那么其他的都随便，就是 2^n，其他随便选，如果不存在，就选一个让他满足，固定取值，所以答案就是 2^{n-1} 次方。