命题逻辑：真值表与主析取范式

$(p \land \neg q \land r) \lor (\neg p \land q \land r)$。

一个由原子命题 p, q, r 组成的命题式为真当且仅当 p, q, r 分别取 1, 0, 1 或 0, 1, 1，则该式的主析取范式为 $(p \land \neg q \land r) \lor (\neg p \land q \land r)$。

解释：

• 主析取范式是指将一个命题式表示成若干个析取式（由若干个合取式连接而成）的析取形式，每个析取式中都包含所有原子命题或其否定，且每个析取式对应真值表中该命题式为真的一个行。
• 该命题式为真时，p, q, r 的取值只有两种情况，分别对应真值表中的两行。因此，其主析取范式由两个析取式构成，每个析取式对应真值表中的一行。
• 第一个析取式 $(p \land \neg q \land r)$ 对应 p, q, r 分别取 1, 0, 1 的情况。
• 第二个析取式 $(\neg p \land q \land r)$ 对应 p, q, r 分别取 0, 1, 1 的情况。

结论：

该命题式的主析取范式为 $(p \land \neg q \land r) \lor (\neg p \land q \land r)$。