2018年11月29日
Proposition
摘要： 提供 $k$ 个变量 $(k\leq 4)$ 可独立取值为 $0,1$，两种运算分别等价于 $\neg a$ 和 $\neg a \lor b$ 。 你需要恰好使用 $n$ 个运算符构造一个公式 $Q$ ，一共 $m$ 组询问 $(m\leq 500)$，每次寻味有给定一个恰好含有一个 $Q$ 的公 阅读全文
posted @ 2018-11-29 09:14 OYJason 阅读(499) 评论(0) 推荐(0) 编辑