RT。简单容斥的基本形态是这样的：

对于全集 $U$，给定 $n$ 个性质，满足第 $i$ 个性质的元素集合为 $A_i$，设

$ans=|U\cap \overline{A_1}\cap \overline{A_2}\cap\cdots\cap \overline{A_n}|$

即 $U$ 中不满足任何一个性质的元素个数。有一条公式是这样说的

$ans=\sum_{S\subseteq A} (-1)^{|S|}|U\cap S_1\cap S_2\cap\cdots\cap S_{|S|}|$

然而本人口胡出来另一个公式，即 $U$ 中满足至少一个性质的元素个数

$ans'=\sum_{S\subseteq A}(-1)^{|S|+1}|U\cap S_1\cap S_2\cap\cdots\cap S_{|S|}|$

显然 $ans=|U|-ans'$，然而本人刚做到一道题目，用第一条公式算出来的 $ans$ 和用 $|U|-ans'$ 算出来的 $ans$ 不一样，把两个柿子代进去甚至会得出 $ans+ans'=0$ 的奇怪结论，错得非常离谱。

以上推理过程纯属瞎扯，一定有什么地方有一个甚至不止一个SB错误，望路过的大佬帮忙指正，不胜感激！