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- :