20 2:
2.3:
.
.
1.
1. .
2.
1.
2 , 20, 2.3:
2. vs
3.
.
1.
2.
3.
.
3 , 20, 2.3:
(-)
B. 1.
4 , 20, 2.3:
B. 1.
5 , 20, 2.3:
:
1
2
3
4
5
6 De Morgan
7
8
9 1
10 2
11
B. 1. 1.
6 , 20, 2.3:
:
.
:
1
De Morgan
2
B. 1. 1.
7 , 20, 2.3:
)()( 2121 pppp )()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp 2121
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
)()( 2121 pppp
B. 1. 1.
8 , 20, 2.3:
)()( 2121 pppp
( )( )
( )( )( ) )()()(
)()()()()()(
)()()()()()(
)()(
211221
211221
211221
211221
211221
2121
pppppppppppp
pppppppppppp
pppppppppp
,
() : :
B. 2. 1.
9 , 20, 2.3:
B. 2. 1.
10 , 20, 2.3:
B. 2. 1.
11 , 20, 2.3:
B. 2. 2. vs
12 , 20, 2.3:
B. 2. 3.
13 , 20, 2.3:
: ( ( ) .
B. 2. 3.
14 , 20, 2.3:
:
B. 2. 3.
15 , 20, 2.3:
.
. 1
16 , 20, 2.3:
. 2
17 , 20, 2.3:
. 1
18 , 20, 2.3:
. 1
19 , 20, 2.3:
m() n() .
: m()=n()+1.
. 2
20 , 20, 2.3:
. 3
21 , 20, 2.3:
. 4
22 , 20, 2.3: