![2
1. !
"! p :
q :
& ' & (')* + ! "! &, -. /01 [( p q) (p q)] (p q)
67 0 ( p q) (p q) ( p q) (p q) ( q p)
( p q) (q p) ( q p)
( p p) ( p q)
p ( p q)
[p ( p q)]
[p (p q)]
[p ( p q)]
[(p p) (p q)]
[T (p q)]
(p q)
p q
T p q
- 9& ( ' - ! 9- :
2. '7 '7 '7 - ' '7 & '7 7< '7 '7 ! '7
& '7 - '! '7 7<
"! p : '7 '7
q : '7 - '
r : '7 &
s : '7 7<
& ' & (')* + ! "! &, -. /01 [(p q) (r s) (p r)] (q s)
& 6 1* &, - 7 1 - ( ' - ! 9- :](https://image.slidesharecdn.com/2-140725040611-phpapp02/85/2-1-320.jpg)
![3. ! ) * @ ! ! )
@ !
"! p : !
q : ) @ !
' & (')-. /01 [(p q) p] q
67 0 (p q) p ( p q) p
( p p) (q p)
( p) (q p)
( p q) ( p p)
p ( p q)
[p ( p q)]
T q
6 A ( ' - ! 9- :
4. *+ "! &, * " - C - *+ "!
"! p : *+ "!
q : &, * " - C
' &, & (')-. /01 (p q) p
& 6 1 &, - 7 1* ' D E *+ "! 'F (Simplification Law)
5. " & - ) -+ - & - ) -+
"! p : "
q : & - ) -+
' &, & (')-. /01 (p q) q
(p q) q q (p q)
q (p q)
q (p q)
( q p) ( q q)
( q p) ( q)
T q
6 A ( ' - ! 9- :](https://image.slidesharecdn.com/2-140725040611-phpapp02/85/2-2-320.jpg)
ฉลย2
- 1. 2 1. ! "! p : q : & ' & (')* + ! "! &, -. /01 [( p q) (p q)] (p q) 67 0 ( p q) (p q) ( p q) (p q) ( q p) ( p q) (q p) ( q p) ( p p) ( p q) p ( p q) [p ( p q)] [p (p q)] [p ( p q)] [(p p) (p q)] [T (p q)] (p q) p q T p q - 9& ( ' - ! 9- : 2. '7 '7 '7 - ' '7 & '7 7< '7 '7 ! '7 & '7 - '! '7 7< "! p : '7 '7 q : '7 - ' r : '7 & s : '7 7< & ' & (')* + ! "! &, -. /01 [(p q) (r s) (p r)] (q s) & 6 1* &, - 7 1 - ( ' - ! 9- :
- 2. 3. ! ) * @ ! ! ) @ ! "! p : ! q : ) @ ! ' & (')-. /01 [(p q) p] q 67 0 (p q) p ( p q) p ( p p) (q p) ( p) (q p) ( p q) ( p p) p ( p q) [p ( p q)] T q 6 A ( ' - ! 9- : 4. *+ "! &, * " - C - *+ "! "! p : *+ "! q : &, * " - C ' &, & (')-. /01 (p q) p & 6 1 &, - 7 1* ' D E *+ "! 'F (Simplification Law) 5. " & - ) -+ - & - ) -+ "! p : " q : & - ) -+ ' &, & (')-. /01 (p q) q (p q) q q (p q) q (p q) q (p q) ( q p) ( q q) ( q p) ( q) T q 6 A ( ' - ! 9- :