(2) ( ( p → q ) ∧ ( q → p ) ) ↔ ( p ↔ q ) ((p \rightarrow q) \wedge(q \rightarrow p) ) \leftrightarrow (p \leftrightarrow q) ((p→q)∧(q→p))↔(p↔q)
↔ ( p → q ) ↔ ( p ↔ q ) ( 蕴 含 等 值 式 ) \leftrightarrow (p \rightarrow q ) \leftrightarrow (p \leftrightarrow q ) (蕴含等值式) ↔(p→q)↔(p↔q)(蕴含等值式)
公式无成假赋值,为重言式
(1) ( p ∨ ( q ∧ r ) ) → ( p ∧ q ∧ r ) (p \vee (q \wedge r)) \rightarrow (p \wedge q \wedge r) (p∨(q∧r))→(p∧q∧r)
A ↔ ( p ∨ ( q ∧ r ) ) → ( p ∧ q ∧ r ) A \leftrightarrow (p \vee (q \wedge r)) \rightarrow (p \wedge q \wedge r) A↔(p∨(q∧r))→(p∧q∧r)
A ↔ ¬ ( p ∨ ( q ∧ r ) ) ⋁ ( p ∧ q ⋀ r ) A \leftrightarrow \lnot (p \vee (q \wedge r)) \bigvee (p \wedge q \bigwedge r) A↔¬(p∨(q∧r))⋁(p∧q⋀r)
A ↔ ¬ p ∧ ( ¬ q ∧ ¬ r ) ) ∨ ( p ∧ q ∧ r ) A \leftrightarrow \lnot p \wedge (\lnot q \wedge \lnot r)) \vee (p \wedge q \wedge r) A↔¬p∧(¬q∧¬r))∨(p∧q∧r)
A ↔ ( ¬ p ∧ ¬ q ) ∨ ( ¬ q ∧ ¬ r ) ) ⋁ ( p ∧ q ∧ r ) A \leftrightarrow (\lnot p \wedge \lnot q) \vee (\lnot q \wedge \lnot r)) \bigvee (p \wedge q \wedge r) A↔(¬p∧¬q)∨(¬q∧¬r))⋁(p∧q∧r)
A ↔ ( ¬ p ∧ ¬ q ∧ ( ¬ r ∧ r ) ∨ ( ¬ p ∧ q ∧ r ) ∧ ¬ r ) ∨ ( p ∧ q ∧ r ) ∨ ( ¬ p ∧ q ∧ ¬ r ) ∨ ( p ∧ q ∧ 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↔(¬p∧¬q∧(¬r∧r)∨(¬p∧q∧r)∧¬r)∨(p∧q∧r)∨(¬p∧q∧¬r)∨(p∧q∧r)
A ↔ m 0 ∨ m 1 ∨ m 7 A \leftrightarrow m_0 \vee m_1 \vee m_7 A↔m0∨m1∨m7
所以:
主析取范式: m 0 ∧ m 1 ∧ m 2 ∧ m 7 m_0 \wedge m_1 \wedge m_2 \wedge m_7 m0∧m1∧m2∧m7
主合取范式: M 3 ∨ M 4 ∨ M 5 ∨ M 6 M_3 \vee M_4 \vee M_5 \vee M_6 M3∨M4∨M5∨M6
成真赋值: 000 , 001 , 010 , 111 000,001,010,111 000,001,010,111
成假赋值: 011 , 100.101.110 011,100.101.110 011,100.101.110
( ( p → q ) ⋀ ( p → r ) ) ↔ ( p → ( q ⋀ r ) ) ((p \rightarrow q) \bigwedge (p \rightarrow r)) \leftrightarrow (p \rightarrow (q \bigwedge r)) ((p→q)⋀(p→r))↔(p→(q⋀r))
( ( p → q ) ⋀ ( p → r ) ) ((p \rightarrow q) \bigwedge (p \rightarrow r)) ((p→q)⋀(p→r))
↔ ( ¬ p ∨ q ) ∧ ( ¬ p ∨ r ) ( 蕴 含 等 值 式 ) \leftrightarrow (\lnot p \vee q) \wedge (\lnot p \vee r )(蕴含等值式) ↔(¬p∨q)∧(¬p∨r)(蕴含等值式)
↔ ¬ p ∨ ( q ∧ r ) ( 分 配 律 ) \leftrightarrow \lnot p \vee (q \wedge r)(分配律) ↔¬p∨(q∧r)(分配律)
↔ p → ( q ∧ r ) ( 蕴 含 等 值 式 ) \leftrightarrow p \rightarrow (q \wedge r )(蕴含等值式) ↔p→(q∧r)(蕴含等值式)
p → ( q ∧ r ) p \rightarrow (q \wedge r) p→(q∧r)
↔ ¬ p ∨ ( q ∧ r ) ( 蕴 含 等 值 式 ) \leftrightarrow \lnot p \vee (q \wedge r)(蕴含等值式) ↔¬p∨(q∧r)(蕴含等值式)
↔ ( ¬ p ∨ q ) ∧ ( ¬ p ∨ r ) ( 分 配 律 ) \leftrightarrow (\lnot p \vee q) \wedge (\lnot p \vee r)(分配律) ↔(¬p∨q)∧(¬p∨r)(分配律)
↔ ( p → q ) ∧ ( p → r ) ( 蕴 含 等 值 式 ) \leftrightarrow (p \rightarrow q) \wedge (p \rightarrow r)(蕴含等值式) ↔(p→q)∧(p→r)(蕴含等值式)
真值表法
( ( p → q ) ⋀ ( p → r ) ) ((p \rightarrow q) \bigwedge (p \rightarrow r)) ((p→q)⋀(p→r))
列出真值表
p | q | r | ( ( p → q ) ⋀ ( p → r ) ) ((p \rightarrow q) \bigwedge (p \rightarrow r)) ((p→q)⋀(p→r)) |
---|---|---|---|
0 | 0 | 0 | 1 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 0 | 1 | 0 |
1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 |
p → ( q ∧ r ) p \rightarrow (q \wedge r) p→(q∧r)
列出真值表
x | y | z | p → ( q ∧ r ) p \rightarrow (q \wedge r) p→(q∧r) |
---|---|---|---|
0 | 0 | 0 | 1 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 0 | 1 | 0 |
1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 |
真值表相同,所以等价
某勘探队有 3 名队员。有一天取得一块矿样,3 人的判断如下
甲说:这不是铁,也不是铜;
乙说:这不是铁,是锡;
丙说:这不是锡,是铁
经实验室鉴定后发现,其中ー人两个判断都正确,一个人判对一半,另一个人全错了。根据以上情况判断矿样的种类,并指出谁的判断全对?谁的判断对一半?谁的判断全错?
设 p : p: p:是铁 q : q: q:是铜 r : r: r:是锡
F 1 ↔ ( 甲 全 对 ) ∧ ( 乙 对 一 半 ) ∧ ( 丙 全 错 ) F1 \leftrightarrow (甲全对) \wedge (乙对一半) \wedge (丙全错) F1↔(甲全对)∧(乙对一半)∧(丙全错)
↔ ( ¬ p ∧ ¬ q ) ∧ ( ( ¬ p ∧ ¬ r ) ∨ ( p ∧ r ) ) ∧ ( ¬ p ∧ r ) \leftrightarrow (\lnot p \wedge \lnot q) \wedge ((\lnot p \wedge \lnot r) \vee (p \wedge r)) \wedge (\lnot p \wedge r) ↔(¬p∧¬q)∧((¬p∧¬r)∨(p∧r))∧(¬p∧r)
↔ 0 ∨ 0 ↔ 0 \leftrightarrow0 \vee 0 \leftrightarrow 0 ↔0∨0↔0
F 2 ↔ ( 甲 全 对 ) ∧ ( 乙 全 错 ) ∧ ( 丙 对 一 半 ) F2 \leftrightarrow (甲全对) \wedge (乙全错) \wedge (丙对一半) F2↔(甲全对)∧(乙全错)∧(丙对一半)
↔ ( ¬ p ∧ ¬ q ) ∧ ( p ∧ ¬ r ) ∧ ( ( p ∧ r ) ∨ ( ¬ p ∧ ¬ r ) ) \leftrightarrow (\lnot p \wedge \lnot q) \wedge (p \wedge \lnot r) \wedge((p \wedge r) \vee (\lnot p \wedge \lnot r)) ↔(¬p∧¬q)∧(p∧¬r)∧((p∧r)∨(¬p∧¬r))
↔ 0 ∨ 0 ↔ 0 \leftrightarrow 0 \vee 0 \leftrightarrow 0 ↔0∨0↔0
F 3 ↔ ( 甲 对 一 半 ) ∧ ( 乙 全 对 ) ∧ ( 丙 全 错 ) F3 \leftrightarrow (甲对一半) \wedge (乙全对) \wedge (丙全错) F3↔(甲对一半)∧(乙全对)∧(丙全错)
↔ ( ( ¬ p ∧ q ) ∨ ( p ∧ ¬ q ) ) ∧ ( ¬ p ∧ r ) ∨ ( ¬ p ∧ ¬ r ) \leftrightarrow ((\lnot p \wedge q ) \vee (p \wedge \lnot q)) \wedge (\lnot p \wedge r ) \vee (\lnot p \wedge \lnot r) ↔((¬p∧q)∨(p∧¬q))∧(¬p∧r)∨(¬p∧¬r)
↔ ¬ p ∧ q ∧ r \leftrightarrow \lnot p \wedge q \wedge r ↔¬p∧q∧r
F 4 ↔ ( 甲 对 一 半 ) ∧ ( 乙 全 错 ) ∧ ( 丙 全 对 ) F4 \leftrightarrow (甲对一半) \wedge (乙全错) \wedge (丙全对) F4↔(甲对一半)∧(乙全错)∧(丙全对)
↔ ( ( ¬ p ∧ q ) ∨ ( p ∧ ¬ q ) ) ∧ ( p ∧ ¬ r ) ∧ ( p ∧ ¬ r ) \leftrightarrow ((\lnot p \wedge q ) \vee (p \wedge \lnot q)) \wedge ( p \wedge \lnot r ) \wedge ( p \wedge \lnot r) ↔((¬p∧q)∨(p∧¬q))∧(p∧¬r)∧(p∧¬r)
↔ p ∧ ¬ q ∧ ¬ r \leftrightarrow p \wedge \lnot q \wedge \lnot r ↔p∧¬q∧¬r
F 5 ↔ ( 甲 全 错 ) ∧ ( 乙 对 一 半 ) ∧ ( 丙 全 对 ) F5 \leftrightarrow (甲全错) \wedge (乙对一半) \wedge (丙全对) F5↔(甲全错)∧(乙对一半)∧(丙全对)
↔ ( p ∧ q ) ∧ ( ( ¬ p ∧ ¬ r ) ∨ ( p ∧ r ) ) ∧ ( p ∧ ¬ r ) \leftrightarrow ( p \wedge q) \wedge ((\lnot p \wedge \lnot r) \vee (p \wedge r)) \wedge ( p \wedge \lnot r) ↔(p∧q)∧((¬p∧¬r)∨(p∧r))∧(p∧¬r)
↔ 0 ∨ 0 ↔ 0 \leftrightarrow 0 \vee 0 \leftrightarrow 0 ↔0∨0↔0
F 6 ↔ ( 甲 全 错 ) ∧ ( 乙 全 对 ) ∧ ( 丙 对 一 半 ) F6 \leftrightarrow (甲全错) \wedge (乙全对) \wedge (丙对一半) F6↔(甲全错)∧(乙全对)∧(丙对一半)
↔ ( p ∧ q ) ∧ ( ¬ p ∧ r ) ∧ ( ( p ∧ r ) ∨ ( ¬ p ∧ ¬ r ) ) \leftrightarrow ( p \wedge q) \wedge ( \lnot p \wedge r) \wedge((p \wedge r) \vee (\lnot p \wedge \lnot r)) ↔(p∧q)∧(¬p∧r)∧((p∧r)∨(¬p∧¬r))
↔ 0 ∨ 0 ↔ 0 \leftrightarrow 0 \vee 0 \leftrightarrow 0 ↔0∨0↔0
设 F ↔ ( 一 人 全 对 ) ∧ ( 一 人 对 一 半 ) ∧ ( 一 人 全 错 ) F \leftrightarrow (一人全对) \wedge (一人对一半) \wedge (一人全错) F↔(一人全对)∧(一人对一半)∧(一人全错)
F为真,且
F ↔ F 1 ∨ F 2 ∨ F 3 ∨ F 4 ∨ F 5 ∨ F 6 F \leftrightarrow F1 \vee F2 \vee F3 \vee F4 \vee F5 \vee F6 F↔F1∨F2∨F3∨F4∨F5∨F6
↔ ( ¬ p ∧ q ∧ r ) ∨ ( p ∧ ¬ q ∧ ¬ r ) ↔ 1 \leftrightarrow (\lnot p \wedge q \wedge r) \vee (p \wedge \lnot q \wedge \lnot r) \leftrightarrow 1 ↔(¬p∧q∧r)∨(p∧¬q∧¬r)↔1
q,r中必有假命题,所以 ¬ p ∧ q ∧ r ↔ 0 \lnot p \wedge q \wedge r \leftrightarrow 0 ¬p∧q∧r↔0
则 p ∧ ¬ q ∧ ¬ r ↔ 1 p \wedge \lnot q \wedge \lnot r \leftrightarrow 1 p∧¬q∧¬r↔1
所以p为真 q和r 为假 所以矿物为铁
有一盏灯由 3 个开关控制,要求按任何一个开关都能使灯由亮变黑或由黑变亮试设计一个这样的组合电路。
用. p , q , r p,q,r\;\;\;\;\; p,q,r分别表示3个开关的状态,开关的状态分别是0和1 用F表示灯灯状态,打开为1,关闭为0
列出真值表
p | q | r | F(p,q,r) |
---|---|---|---|
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 |
列出F的主析取范式
F = m 1 ∨ m 2 ∨ m 3 ∨ m 4 ∨ m 5 ∨ m 6 ∨ m 7 F = m_1 \vee m_2 \vee m_3 \vee m_4 \vee m_5 \vee m_6 \vee m_7 F=m1∨m2∨m3∨m4∨m5∨m6∨m7
F = ( ¬ p ∧ ¬ q ∧ r ) ∨ ( ¬ p ∧ q ∧ ¬ r ) ∨ ( ¬ p ∧ q ∧ r ) ∨ ( p ∧ ¬ q ∧ ¬ r ) ∨ ( p ∧ ¬ q ∧ r ) ∨ ( p ∧ q ∧ ¬ r ) ∨ ( p ∧ q ∧ r ) 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) F=(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r)∨(p∧q∧r)
编号 | 极小项 | 角标 | 标记 |
---|---|---|---|
1 | ¬ p ∧ ¬ q ∧ r \lnot p \wedge \lnot q \wedge r ¬p∧¬q∧r | 001 | * |
2 | ¬ p ∧ q ∧ ¬ r \lnot p \wedge q \wedge \lnot r ¬p∧q∧¬r | 010 | * |
3 | ¬ p ∧ q ∧ r \lnot p \wedge q \wedge r ¬p∧q∧r | 011 | * |
4 | p ∧ ¬ q ∧ ¬ r p \wedge \lnot q \wedge \lnot r p∧¬q∧¬r | 100 | * |
5 | p ∧ ¬ q ∧ r p \wedge \lnot q \wedge r p∧¬q∧r | 101 | * |
6 | p ∧ q ∧ ¬ r p \wedge q \wedge \lnot r p∧q∧¬r | 110 | * |
7 | p ∧ q ∧ r p \wedge q \wedge r p∧q∧r | 111 | * |
合并项 | 项 | 表示串 | 标记 |
---|---|---|---|
(1,5) | ¬ q ∧ r \lnot q \wedge r ¬q∧r | -01 | * |
(2,3) | ¬ p ∧ q \lnot p \wedge q ¬p∧q | 01- | * |
(2,6) | q ∧ ¬ r q \wedge \lnot r q∧¬r | -10 | * |
(3,7) | q ∧ r q \wedge r q∧r | -11 | * |
(4,5) | p ∧ ¬ q p \wedge \lnot q p∧¬q | 10- | * |
(4,6) | p ∧ ¬ r p \wedge \lnot r p∧¬r | 1-0 | * |
(5,7) | p ∧ r p \wedge r p∧r | 1-1 | * |
(6,7) | p ∧ q p \wedge q p∧q | 11- | * |
合并项 | 项 | 表示串 |
---|---|---|
(1,3,5,7) | r r r | –1 |
(2,3,6,7) | q q q | -1- |
(4,5,6,7) | p p p | 1– |
选择
选择(1,3,5,7)和(2,3,6,7)和(4,5,6,7)
即最简展开式: F = p ∨ q ∨ r F=p \vee q \vee r F=p∨q∨r
(2) 标注用直接证明法和附加前提证明法
前提: p → ( q → s ) , q , p ⋁ ¬ r p \rightarrow (q \rightarrow s) , q , p \bigvee \lnot r p→(q→s),q,p⋁¬r
结论: r → s r \rightarrow s r→s
1、 p → ( q → s ) p \rightarrow (q \rightarrow s) p→(q→s) | 前提引入 |
---|---|
2、 q → ( p → s ) q \rightarrow (p \rightarrow s) q→(p→s) | 1、置换 |
3、$q $ | 前提引入 |
4、 p → s p \rightarrow s p→s | 2、3假言推理 |
5、 p ⋁ ¬ r p \bigvee \lnot r p⋁¬r | 前提引入 |
6、 r → p r \rightarrow p r→p | 5置换 |
7、 r → s r \rightarrow s r→s | 4、6假言三段论 |
1、 p → ( q → s ) p \rightarrow (q \rightarrow s) p→(q→s) | 前提引入 |
---|---|
2、 q → ( p → s ) q \rightarrow (p \rightarrow s) q→(p→s) | 1置换 |
3、 q q q | 前提引入 |
4、 p → s p \rightarrow s p→s | 2、3假言推理 |
5、 p ⋁ ¬ r p \bigvee \lnot r p⋁¬r | 前提引入 |
6、 r → p r \rightarrow p r→p | 5置换 |
7、 r r r | 附加前提引入 |
8、 s s s | 假言推理 |
判断下述推理是否正确,并证明你的结论。如果他是理科学生,他必学好数学。如果他不是文科学生,他必是理科学生。他没学好数学。所以他是文科学生
令 p p p:小王是理科生 q q q:小王是文科生, r r r:小王学好数学
前提: p → r p \rightarrow r p→r , ¬ q → p \lnot q \rightarrow p ¬q→p, ¬ r \lnot r ¬r
结论: q q q
证明:
1、 p → r p \rightarrow r p→r | 前提引入 |
---|---|
2、 ¬ r \lnot r ¬r | 前提引入 |
3、 ¬ p \lnot p ¬p | 1 、2 拒取式 |
4、 ¬ q → p \lnot q \rightarrow p ¬q→p | 前提引入 |
5、 q q q | 3、4拒取式 |
1、 p → r p \rightarrow r p→r | 前提引入 |
---|---|
2、 ¬ r \lnot r ¬r | 前提引入 |
3、 ¬ p \lnot p ¬p | 1 、2 拒取式 |
4、 ¬ q → p \lnot q \rightarrow p ¬q→p | 前提引入 |
5、 ¬ q \lnot q ¬q | 否定结论引入 |
6、 p p p | 4、5 假言推理 |
7、 p ∧ ¬ p p \wedge \lnot p p∧¬p | 3、6 合取 |
7出现了矛盾,根据归谬法,推理正确