若A的主析取范式中至少含一个极小项，则A是可满足式。
若A的主析取范式中至少含一个极小项，则A是可满足式。
正确答案：正确
Tag：范式
时间：2024-05-05 21:14:51
- 上一篇：命题公式的析取范式是唯一的。
- 下一篇：命题公式的主合取范式是唯一的。