相关更改
←可满足式
输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。
缩写列表：
- 新
- 该编辑创建了新页面（见新页面列表）
- 小
- 该编辑为小编辑
- 机
- 该编辑由机器人执行
- (±123)
- 该页面字节数的前后变化
2026年1月8日 (星期四)
| 新 03:35 | 可满足式（谓词逻辑） 差异历史 +100 Gsxab 留言 贡献 （重定向页面至谓词公式分类#可满足式） | ||||
| 新 03:35 | 可满足式（命题逻辑） 差异历史 +100 Gsxab 留言 贡献 （重定向页面至命题公式分类#可满足式） | ||||