常用导数表 $$\begin{aligned}(x^a)^\prime &= ax^{a-1} \\(\sin x)^\prime &= \cos x\\(\cos x)^\prime &= -\sin x\\(\tan x)^\prime &= \sec^2 x\\(a^x)^\prime &= a^x \…

定义 有 $n$ 个布尔变量 $x_0,x_1,\ldots, x_{n-1}$ 满足以下形式的逻辑表达式：$(x_i \cup x_j)\cap\cdots (x_u\cup x_{v})\cap \cdots = \text{true}$ 。要求你判断这些逻辑表达式是否能够同时成立，并给出一组构造方案的问题我们称为2-SAT问题（2-satis…