命题逻辑：主析取范式求解示例

首先将每个原子命题的取值代入命题式，得到真值表如下：

| p | q | r | 命题式 | |---|---|---|--------| | 1 | 0 | 1 | 0 | | 0 | 1 | 4 | 1 |

根据主析取范式的定义，需要将命题式中每个由原子命题构成的项取反，并将所有项用‘或’连接起来。因此，命题式的主析取范式为：

(¬p ∧ ¬q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ q ∧ ¬r) ∨ (p ∧ q ∧ r)