!"!#$ ! %& '() !* +*$ ,-.

-/ + 1
0
2$! !"! !( " 0 34, .5 4 , /56 4. /56 7
&$% ! 0% $( *' 7 $( % !$
2$! !"! !( " 03 4, .5 4, /5
6 4 , .5 7
&$% ! 0% $(
2$! !"! !( " 0
3 4, .5 4. /56 3 4 , /5 4, .56 7 &$%
!
0% $( % !$
#$+ 28
( $
( #$ 28 ( # #$ 28 ( #$ 28( 2(8 $ 9
(#$
()
!* +*$: ; < + 1 ;$
0 04 : <5 4: <5 ;(
8 0
+ %&
( : # < : <
08
+ %&
% ;( ':-<-=->-?-@
8 + 1
0
( 4: <5 4: <5( 4: <5 4: <5
# ? ( 4 > ?5 4> ?5
> ( > ?
> ( 4> ?5 >
A #$+ 28 ( $ '>-? + 1
0
( > ? > ?
# 3 4 > ?5 4 > ?5 6 4? ?5 0
> > ?
28
( $ 9 (#$
B 034, .5 /6 34, /5 .6 ;(
8 + #$+ %&
0
( 3 4, .5 /6 34, /5 .5 6
# 34, .5 /6 3 4, /5 .5 6
3 4, .5 /6 34, /5 .5 6
3 4, .5 /6 3 4, /5 .5 6
C 2$! 04 > ?5 4> ?5 % !! 7D 0% >-? + 1
0
#$+ %& 28 ( $
( 0% > - 0% ? 7
# 04 > ?5 7(7% '> ; ? % ! ! *'(
2$
! 0 4> ?5 % !! 7;$> ; ? ! ! *'(
%
04? ?5 4> >5 7(7% '> ; ? % ! ! * '(
E #$+ %& &% 28
( $ ' (F G0 H # ) ! (
( !
) ( !)
! !+*$
) I

# )
! ( !) ! &%) !+*$J K
!
) ( !) ! !+*$J K A I
)
!
) ( !) ! !+*$JA L J I
)
M ()!* +*$(F G0N H # ) ! + 1 % !$( %
! !"!%
!#$+ %&
28( $
( J 3J 6 # J 3J K 6
J 3J O 6 J 3J O 6
P #$+ %& 7 ' (F G0N H # ) !
( J Q N3J O Q IA6 # Q J N3J K Q I 6
J Q N3J O Q I 6 J Q N3J K Q I 6
 !"!#$ ! %&
2$
!* 9
%+ % !* ';$#! &% (* '#! ( !#!&%+ %
% !* '
2$
!2 0* RD ! ! 9 * 9( * ;R
( ;$#! &%S ;2$!2&% T
U)!
;$#! $ $&*$;2$ !2 0 9 *9* '&% T U)! ;$#! !* '#!
$ $&*$
2$
!9$ G! ( ;$#! G! ( * ' #!+*V% ) !D
A 2$
!9!' !(W ;!! ;$G &% ! ;2$ !G ' !(W ;!! ;$G *
(7% '2$!9!' !(W ;!! ;$G &% ! ; *
B 2$
! ; G X ( ;$ ! %!( (7% '2$ ! X ( G ;$2$
!G X (
;$ ! %!(
#$+ %& 28 ( $
( #$ &% * 9 Y; #$ # #$ * 9 Y; #$
* 9 Y; 9(#$ &%#$ * 9 Y;;

!" # !$% #& #' & $#!(" )* ) +

2$
!#!&S% ;%(Z!;$#! % ; #!;%(Z!(7% '#!#7 #!;%(Z!* '#!
#7
2$
! &% ;$ &% ;2$ ! #$
! ( ! ! ;$ $S ;[ %&%* ' #$
!
( ! ! ;$ &% * ' $S ;[
2$
!#!*; ( ;$ ' &% ! 8&$%
$ !#!*; ( %#!&%&$*; ( '
&%8$%
!#!*; (
A 2$
!(Z!)!+*$
#!#7 ; $ !$+ # !1 ;$(Z!) !+*$
#!#7
B 2$
!#!&% S' + ;$#! &% ! )
!7 !#! $
% ! )
!7
 ! "#
$%! &
&

&& ' ( ) &

' (

!* ! "
++ $,$+"
- -.
 &

&& ' ( ) &

' ( ' (

!* ! "
++ $,$+"
- /

&
 && ) &

!* ! "
++ $,$+"
- -.

0 1%! ! "#1% ! " 2 .

%&3 ! "
2 ! "
$

! * 4& ! "
$2 .
%&
5 ! ". 2 .
%& ! "#
2 &

! * 4& 2 .
%& /

2 &

! * 4& ! " 2 .
% & && /

2 &

! " 2 .
% & && /

2 &

!* ! " 2 .
%&
6 -. ! "#

!7! & /

!* 2& & " !

! "
++ $*/%%&8"
29$+

2 ! " : 1%! : ; ! &

: ; : ; : ;
< < ! = !
< = ! < "
= < " = !
= = " < !
! * 4& ! "$&2 $+3 !
3 $ & && -.

> ! " 2 %
.&3 ! "
! "

12 ! "
$2 .
%& ! $*

12 /

12 /

12 ! " 2 .
%&3 ! "
$ #
? - ! " $*,+$ ! "
++ ! "#
-.
,$+" ! " $* !
1%! $* !
& $*1%! ! $*
/1
! " 2 %
.&3 ! " !* - ! "
& ! "! 4 $* & & -.
-.
-. #

@ -. A 2& &
$8" B 3
! * 4& -. 1$ ! C
! * 4& 2 1$ +0 ! @ B) 12
$% 3 3 $ $ $*12 /
! * 4& 4 &2 1$ ! C B)
2 1$ ! 12

D A 2& &
$8" B #$ + C
-.
! * !,+ E 2 .%&
3 !,+ E
12& A 2& &
$8"
+& ' $ B #$ + C(
2 1$ ! F C B) -. & & /
1$ ! C & & -.
!* !,+ E 2 .
%&3 !,+ E
1$ ! B) $* !7! & -.
! * 1$ ! C C $* && -.

F $* A 2& &
$8" B
-. 1 #' !2 & 3 $9 2 - $9 &(
-. 1 #' !2 & 3 $9 ! 1 #(
-. 1 #2 1$ ! 1%!
 -. 1 #2 1$ C ! 1%!

C
%+ +. .2&
G%&H " &
9& &2
23
&& ! !,+2& G%&H "
2& ! "#$# 2 /%
& $** ! * ! " 2 B)
&& 2 9 2 /%
0 %+ +. .2&
G%&H " &
-+ "$ ) & !23 9 3& 9 %)
4
- 1! IJ &
%
&& ! !,+2& G%&H " % %
! K& + . 1%! 2& & "B)9 ! 3 ! "&%
2& & "12 02 9 2 /%
5 %+ +. .2&
G%&H " &
9 !8 & +
G !, +
&& ! !,+2& G%&H "
! K& + . 1%! 2& & " 4 & B)9 ! 3 ! "
&% 2& & "12 52 9 2 /%
6 %+ +. .2&
G%&H " &
29+ L %
8 23+
8 &
&& ! !,+2& G%&H " !*
! " 2& & "& & 6 2 9 2 /%
> %+ +. .2&
G%&H " &
7&1%!8 1M &
!1 &
&& ! !,+2&G%&H " !*
! " 2& & "& & & 2 29 /%
$ $& !* $ 2 9 2 /% + +
 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
Tp 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- :
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- :