命题逻辑：主析取范式求解示例
根据题意可列出真值表：
| p | q | r | 命题式 | |:-:|:-:|:-:|:------:| | 0 | 0 | 0 | 0 | | 0 | 0 | 1 | 1 | | 0 | 1 | 0 | 0 | | 0 | 1 | 1 | 1 | | 1 | 0 | 0 | 0 | | 1 | 0 | 1 | 0 | | 1 | 1 | 0 | 0 | | 1 | 1 | 1 | 1 |
可以发现，当且仅当p为0且q为1且r为1时，命题式为真。因此主析取范式为：
(p' ∧ q ∧ r)
原文地址: https://www.cveoy.top/t/topic/nUn2 著作权归作者所有。请勿转载和采集!