1.9 用等值演算法判断下列公式的类型

（2） $((p \rightarrow q) \wedge(q \rightarrow p) ) \leftrightarrow (p \leftrightarrow q)$

解：

$\leftrightarrow (p \rightarrow q ) \leftrightarrow (p \leftrightarrow q ) (蕴含等值式)$

公式无成假赋值，为重言式

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

(1) $(p \vee (q \wedge r)) \rightarrow (p \wedge q \wedge r)$

解：

$A \leftrightarrow (p \vee (q \wedge r)) \rightarrow (p \wedge q \wedge r)$

$A \leftrightarrow \lnot (p \vee (q \wedge r)) \bigvee (p \wedge q \bigwedge r)$

$A \leftrightarrow \lnot p \wedge (\lnot q \wedge \lnot r)) \vee (p \wedge q \wedge r)$

$A \leftrightarrow (\lnot p \wedge \lnot q) \vee (\lnot q \wedge \lnot r)) \bigvee (p \wedge q \wedge r)$

$A \leftrightarrow (\lnot p \wedge \lnot q \wedge (\lnot r \wedge r)\vee (\lnot p \wedge q \wedge r) \wedge \lnot r) \vee (p \wedge q \wedge r) \vee (\lnot p \wedge q \wedge \lnot r) \vee(p \wedge q \wedge r)$

$A \leftrightarrow m_0 \vee m_1 \vee m_7$

所以：

主析取范式： $m_0 \vee m_1 \vee m_2 \vee m_7$

主合取范式： $M_3 \vee M_4 \vee M_5 \vee M_6$

成真赋值： $000,001,010,111$

成假赋值： $011,100.101.110$

1.8 用三种方法证明下列等值公式

$((p \rightarrow q) \bigwedge (p \rightarrow r)) \leftrightarrow (p \rightarrow (q \bigwedge r))$

解：

第一种方法

$((p \rightarrow q) \bigwedge (p \rightarrow r))$

$\leftrightarrow (\lnot p \vee q) \wedge (\lnot p \vee r )(蕴含等值式)$

$\leftrightarrow \lnot p \vee (q \wedge r)(分配律)$

$\leftrightarrow p \rightarrow (q \wedge r )(蕴含等值式)$

第二种方法

$p \rightarrow (q \wedge r)$

$\leftrightarrow \lnot p \vee (q \wedge r)(蕴含等值式)$

$\leftrightarrow (\lnot p \vee q) \wedge (\lnot p \vee r)(分配律)$

$\leftrightarrow (p \rightarrow q) \wedge (p \rightarrow r)(蕴含等值式)$

第三种方法

真值表法

$((p \rightarrow q) \bigwedge (p \rightarrow r))$

列出真值表

$p \rightarrow (q \wedge r)$

列出真值表

真值表相同，所以等价

1.15

某勘探队有 3 名队员。有一天取得一块矿样，3 人的判断如下

甲说：这不是铁，也不是铜；

乙说：这不是铁，是锡；

丙说：这不是锡，是铁

经实验室鉴定后发现，其中ー人两个判断都正确，一个人判对一半，另一个人全错了。根据以上情况判断矿样的种类，并指出谁的判断全对？谁的判断对一半？谁的判断全错？

解：

设 $p:$是铁 $q:$是铜 $r:$是锡

$F1 \leftrightarrow (甲全对) \wedge (乙对一半) \wedge (丙全错)$

$\leftrightarrow (\lnot p \wedge \lnot q) \wedge ((\lnot p \wedge \lnot r) \vee (p \wedge r)) \wedge (\lnot p \wedge r)$

$\leftrightarrow0 \vee 0 \leftrightarrow 0$

$F2 \leftrightarrow (甲全对) \wedge (乙全错) \wedge (丙对一半)$

$\leftrightarrow (\lnot p \wedge \lnot q) \wedge (p \wedge \lnot r) \wedge((p \wedge r) \vee (\lnot p \wedge \lnot r))$

$\leftrightarrow 0 \vee 0 \leftrightarrow 0$

$F3 \leftrightarrow (甲对一半) \wedge (乙全对) \wedge (丙全错)$

$\leftrightarrow ((\lnot p \wedge q ) \vee (p \wedge \lnot q)) \wedge (\lnot p \wedge r ) \vee (\lnot p \wedge \lnot r)$

$\leftrightarrow \lnot p \wedge q \wedge r$

$F4 \leftrightarrow (甲对一半) \wedge (乙全错) \wedge (丙全对)$

$\leftrightarrow ((\lnot p \wedge q ) \vee (p \wedge \lnot q)) \wedge ( p \wedge \lnot r ) \wedge ( p \wedge \lnot r)$

$\leftrightarrow p \wedge \lnot q \wedge \lnot r$

$F5 \leftrightarrow (甲全错) \wedge (乙对一半) \wedge (丙全对)$

$\leftrightarrow ( p \wedge q) \wedge ((\lnot p \wedge \lnot r) \vee (p \wedge r)) \wedge ( p \wedge \lnot r)$

$\leftrightarrow 0 \vee 0 \rightarrow 0$

$F6 \leftrightarrow (甲全错) \wedge (乙全对) \wedge (丙对一半)$

$\leftrightarrow ( p \wedge q) \wedge ( \lnot p \wedge r) \wedge((p \wedge r) \vee (\lnot p \wedge \lnot r))$

$\leftrightarrow 0 \vee 0 \leftrightarrow 0$

设 $F \leftrightarrow (一人全对) \wedge (一人对一半) \wedge (一人全错)$

F为真，且
$F \leftrightarrow F1 \vee F2 \vee F3 \vee F4 \vee F5 \vee F6$

$\leftrightarrow (\lnot p \wedge q \wedge r) \vee (p \wedge \lnot q \wedge \lnot r) \leftrightarrow 1$

q，r中必有假命题，所以 $\lnot p \wedge q \wedge r \leftrightarrow 0$

则 $p \wedge \lnot q \wedge \lnot r \leftrightarrow 1$

所以p为真 q和r 为假 所以矿物为铁

1.16

有一盏灯由 3 个开关控制，要求按任何一个开关都能使灯由亮变黑或由黑变亮试设计一个这样的组合电路。

解：

用. $p,q,r\;\;\;\;\;$分别表示3个开关的状态，开关的状态分别是0和1 用F表示灯灯状态，打开为1，关闭为0

列出真值表

列出F的主析取范式

$F = m_1 \vee m_2 \vee m_3 \vee m_4 \vee m_5 \vee m_6 \vee m_7$

$F = (\lnot p \wedge \lnot q \wedge r) \vee (\lnot p \wedge q \wedge \lnot r) \vee (\lnot p \wedge q \wedge r) \vee (p \wedge \lnot q \wedge \lnot r) \vee (p \wedge \lnot q \wedge r) \vee (p \wedge q \wedge \lnot r) \vee ( p \wedge q \wedge r)$

列表1

第一批

第二批

选择

选择(1,3,5,7)和(2,3,6,7)和(4,5,6,7)

即最简展开式： $F=p \vee q \vee r$

1.19 构造下面推理的证明

(2) 标注用直接证明法和附加前提证明法

解：

前提： $p \rightarrow (q \rightarrow s) , q , p \bigvee \lnot r$

结论： $r \rightarrow s$

直接证明法

附加前提证明法

1.20 标注用直接证明法和归谬法

判断下述推理是否正确，并证明你的结论。如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学。所以他是文科学生

解：

直接证明法

令 $p$：小王是理科生 $q$：小王是文科生， $r$：小王学好数学

前提： $p \rightarrow r$ , $\lnot q \rightarrow p$, $\lnot r$

结论： $q$

证明：

归谬法

7出现了矛盾，根据归谬法，推理正确