在真值表中，一个公式的所有成假赋值所对应的极大项的析取，即为此公式的主析取范式.
举一反三
- 一个命题公式的真值表中，所有真值为真赋值对应极小项的析取就是此公式的主析取范式
- 可满足式的主析取范式就是成真赋值对应小项的析取；主合取范式就是成假赋值对应极大项的合取；且主析取范式中小项m的下标和主合取范式中大项M的下标是互补的
- 求下列公式的主析取和主合取范式，并求它的成真赋值和成假赋值。 （p∧q）→
- 分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。[tex=5.143x1.357]fnpQj7+27X9QukdLGbR4b4V0OteRT7yVtzM6LKOkSRo=[/tex]
- 分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。[tex=8.429x1.357]5qBVDhLFRZV7lMBXJdUag4GWytbts0nCxBlqwfWUSEqcp0FGEhMS7HcrgDiIYdKk[/tex]