CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 命题等价
此标签下有1条笔记。
2026年4月20日
1.3 命题等价
离散数学
命题等价
逻辑等价
德摩根定律
重言式
可满足性
SAT问题
学习/离散数学/逻辑与证明