原子命题p,q,r组成的命题式主析取范式

首先列出真值表：

| 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为0且q为1且r为0，或p为1且q为0且r为1。因此，该式的主析取范式为：

(p' ∧ q ∧ r) ∨ (p' ∧ q' ∧ r) ∨ (p ∧ q' ∧ r)