某由原子命题pqr组成的命题式为真当且仅当pqr分别取 101或0114则该式的主析取范式为
首先将每个原子命题的取值代入命题式,得到真值表如下:
| p | q | r | 命题式 | |---|---|---|--------| | 1 | 0 | 1 | 0 | | 0 | 1 | 4 | 1 |
根据主析取范式的定义,需要将命题式中每个由原子命题构成的项取反,并将所有项用“或”连接起来。因此,命题式的主析取范式为:
(¬p ∧ ¬q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ q ∧ ¬r) ∨ (p ∧ q ∧ r)
原文地址: https://www.cveoy.top/t/topic/eC5c 著作权归作者所有。请勿转载和采集!