CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 重言式
此标签下有4条笔记。
2026年4月20日
逻辑等价
离散数学
逻辑与证明
逻辑等价
重言式
德摩根定律
可满足性
2026年4月20日
1.3 命题等价
离散数学
命题等价
逻辑等价
德摩根定律
重言式
可满足性
SAT问题
学习/离散数学/逻辑与证明
2026年4月19日
重言式与矛盾式
逻辑学
命题逻辑Ⅰ
真值表
重言式
矛盾式
偶真式
思想法则
2026年4月19日
8.9 陈述形式与实质等值
逻辑学
命题逻辑Ⅰ
陈述形式
实质等值
重言式
矛盾式
偶真式
学习/逻辑学/命题逻辑