题目
1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。


题目解答
答案


解析
步骤 1:化简公式
(1) $(p)V(q{h}_{r}))\rightarrow (phq{r}_{r})$
$\Leftrightarrow -((p)V(q{h}_{r}))V(phq{r}_{r})$
$\Leftrightarrow -pV(-qV-r)V(phq{r}_{r})$
$\Leftrightarrow (-pV-qV-r)V(phq{r}_{r})$
$\Leftrightarrow m0Vm1Vm2Vm7$
步骤 2:确定主合取范式
主合取范式为 $M3^M4^M5^M6$
步骤 3:确定成真赋值和成假赋值
成真赋值为 000、001、010、111
成假赋值为 011、100、101、110
步骤 4:化简公式
(2) $(p)\rightarrow (-q)$ $p)$
$\Leftrightarrow -pV-qVp$
$\Leftrightarrow (-pV-q)Vp$
$\Leftrightarrow m2Vm3$
步骤 5:确定主合取范式
主合取范式为 $M0^M1^M4^M5^M6^M7$
步骤 6:确定成真赋值和成假赋值
成真赋值为 010、011
成假赋值为 000、001、010、011、100、101、110、111
步骤 7:化简公式
(3) →(p→q)^q^r
$\Leftrightarrow -pV-qVqVr$
$\Leftrightarrow -pVqVr$
$\Leftrightarrow m2Vm3Vm6Vm7$
步骤 8:确定主合取范式
主合取范式为 $M0^M1^M4^M5$
步骤 9:确定成真赋值和成假赋值
成真赋值为 010、011、110、111
成假赋值为 000、001、010、011、100、101、110、111
(1) $(p)V(q{h}_{r}))\rightarrow (phq{r}_{r})$
$\Leftrightarrow -((p)V(q{h}_{r}))V(phq{r}_{r})$
$\Leftrightarrow -pV(-qV-r)V(phq{r}_{r})$
$\Leftrightarrow (-pV-qV-r)V(phq{r}_{r})$
$\Leftrightarrow m0Vm1Vm2Vm7$
步骤 2:确定主合取范式
主合取范式为 $M3^M4^M5^M6$
步骤 3:确定成真赋值和成假赋值
成真赋值为 000、001、010、111
成假赋值为 011、100、101、110
步骤 4:化简公式
(2) $(p)\rightarrow (-q)$ $p)$
$\Leftrightarrow -pV-qVp$
$\Leftrightarrow (-pV-q)Vp$
$\Leftrightarrow m2Vm3$
步骤 5:确定主合取范式
主合取范式为 $M0^M1^M4^M5^M6^M7$
步骤 6:确定成真赋值和成假赋值
成真赋值为 010、011
成假赋值为 000、001、010、011、100、101、110、111
步骤 7:化简公式
(3) →(p→q)^q^r
$\Leftrightarrow -pV-qVqVr$
$\Leftrightarrow -pVqVr$
$\Leftrightarrow m2Vm3Vm6Vm7$
步骤 8:确定主合取范式
主合取范式为 $M0^M1^M4^M5$
步骤 9:确定成真赋值和成假赋值
成真赋值为 010、011、110、111
成假赋值为 000、001、010、011、100、101、110、111