会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
OYJason's Blog
言えずに隠してた昏い過去も あなたがいなきゃ永遠に昏いまま
博客园
首页
新随笔
联系
订阅
管理
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)
编辑
公告