21

Ls

1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8

1.1 . 1T0F

PQRPiQiRi

. 1.1.1PlPlPlPP lPPllPPlPPl1.1.1

1.1.1 (

P

(P

1

0

0

1

1.1.2PQPQPQPQPQPQPQPQPQPQPQ1.1.2

1.1.2

P Q

PQ

0 0

0 1

1 0

1 1

0

0

0

1

1.1.3PQPQPQPQPQPQPQPQPQPQ1.1.3

1.1.3

P Q

P Q

0 0

0 1

1 0

1 1

0

1

1

1

1.1.4PQPQPQPQPQPQPQPQPQPQPQ1.1.4

1.1.4

P Q

PQ

0 0

0 1

1 0

1 1

1

1

0

1

PQPPQQPQPQPQPQQPPQQP

1.1.4

1.1.5PQPQP QP QPQP QPQPQPQP QP Q1.1.5

1.1.5 (

P Q

P(Q

0 0

0 1

1 0

1 1

1

0

0

1

1.2 .

P 1.2.11010

2.1.2.2

1.2.3A(lA)AB(AB)(AB)(AB)(A B)

l

.1.2.41.2.5BABBA

n2n2n ()

4.:

1.3 . 1.3.1 A A A A A A A

LsLs

.1.3.2ABABABABABABABAB

1.3.1A BAB A B AA A ABA BB A ABCA BB CA C

.(1)AA(2)ABBAABBAABBA

(3) (AB)CA(BC)(AB)CA(BC)(AB)CA(BC)(4) A(BC)(AB)(AC)A(BC)(AB)(AC)(5) (AB)AB(AB)AB(6) AAAAAA

(7) ATAAFA(8) AFFATT(9) A(AB)AA(AB)A(10) AAF()AAT()(11) ABABABBA

(12) AB(AB)(BA)(AB)(AB)AB(AB)(13) (AB)CA(BC)(14) (AB)(AB)A

.

(1)1.3.2 AR B(2)1.3.3 A1AA1B1AA1B1 BAB1.3.3

1.4 .

1.4.1 AFTA*A*AAA*AA*

1.4.1() AA*P1P2PnAA* A(P1P2Pn)A*(P1P2Pn) A(P1P2Pn)A*(P1P2Pn)A

1.4.2 ABABA*B*

.1.4.2 ABABABABABABAB

AAA ABCABBCAC ABCABACA(BC) ABCACBCABC

1.4.3 ABABABBA

. ABABABABABABABABABAB

ABBABAABBAAB

1.5 . 1.5.1 PQPQPQPQPQPQPQP QPQPQ

PQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQ

PQPQPQPQPQP QPQPQPQ4

P Q

P(Q P(Q P(Q P(Q

0 0

0 1

1 0

1 1

1 1 0 0

1 0 0 1

1 0 1 1

0 0 0 0

PQ(PQ)PQ(PQ)PQ(PQ)PQ(PQ)

.3PQR (a)PQQP(b) PPP(c) (PQ)(PQ)PQ(d) (PP)(QQ)PQ

(a) PQQP(b) PPP(c)(PQ)(PQ)PQ(d) (PP)(QQ)PQ

(a)PQQP(b) P(QR)(PQ)R(c) P(QR)(PQ)(PR)(d) PPFFPPTPP(e) PQRQRPPPQPQRF

9PQ9

P Q

F

T

P

Q

P

Q

P(Q

P(Q

P(Q

P(Q

0 0

0 1

1 0

1 1

0

0

0

0

1

1

1

1

0

0

1

1

0

1

0

1

1

1

0

0

1

0

1

0

0

0

0

1

1

1

1

0

0

1

1

1

1

0

0

0

(

(

(

(

1

2

3

4

5

6

7

8

9

10

P Q

P(Q

P(Q

P(Q

P(Q

Q(P

Q(P

0 0

0 1

1 0

1 1

1

1

0

1

0

0

1

0

1

0

0

1

0

1

1

0

1

0

1

1

0

1

0

0

(

(

(

(

(

(

11

12

13

14

15

16

FT9

.9PQ(PQ)PQ(PQ)PQ(PQ)PQ(PQ)45

PQ(PQ)(QP)PQPQPQ(PQ)PQ(PQ)5{}{}

1.5.2 GGGG {}{}{}{}{}{}{}{}{}{}{}

1.6 .1.6.1 1.6.2

PQPQPQPPQPPQPQPQPPQPPQ

1.6.1 1.6.2

.1.6.3 AAAAiAii=12n1.6.4 AAAAiAi1in

1.6.3 (P)P

.1.6.4 AA 1.6.5 AA

.

1.7

.(1) 1.7.1 n

PQPQPQPQPQPQRPQRPQRPQRPQRPQR PQRPQRPQRn2n

102nmii2n1.7.11.7.22PQ3PQR

1.7.1

m()

m00 m01 m10 m11

P Q

(P((Q (P(Q P((Q P(Q

0 0

1 0 0 0

0 1

0 1 0 0

1 0

0 0 1 0

1 1

0 0 0 1

m(+)

m0 m1 m2 m3

1.7.2 3

m()

m000

m001

m010

m011

P Q R

(P((Q((R

(P((Q(R

(P(Q((R

(P(Q(R

0 0 0

1

0

0

0

0 0 1

0

1

0

0

0 1 0

0

0

1

0

0 1 1

0

0

0

1

1 0 0

0

0

0

0

1 0 1

0

0

0

0

1 1 0

0

0

0

0

1 1 1

0

0

0

0

m(+)

m0

m1

m2

m3

m()

m100

m101

m110

m111

P Q R

P((Q((R

P((Q(R

P(Q((R

P(Q(R

0 0 0

0

0

0

0

0 0 1

0

0

0

0

0 1 0

0

0

0

0

0 1 1

0

0

0

0

1 0 0

1

0

0

0

1 0 1

0

1

0

0

1 1 0

0

0

1

0

1 1 1

0

0

0

1

m(+)

m4

m5

m6

m7

1.7.11.7.2(a)(b)mimjij(c) mi(d)1

(2) 1.7.2 1.7.1 nA

(3) 1.7.1(a)(b)

(c) PPP(d) QPPQQ)

(4) 1.7.2 n

.(1) 1.7.3 n

PQPQPQPQPQPQRPQRPQRPQRPQRPQRPQRPQRPQRn2n

n2nMii2n1.7.32P

1.7.3

M()

Mi

I(Mi)

P Q

M00

M01

M10

M11

P(Q

P((Q

(P(Q

(P((Q

0 0

0 1

1 0

1 1

0

1

1

1

1

0

1

1

1

1

0

1

1

1

1

0

M(+)

M0

M1

M2

M3

1.7.3(a)(b)MiMjij(c) Mi(d) 0

(2) 1.7.4 1.7.3 nA1.7.4 nA1.7.11.7.2

.miMi Mimi

AnAk A2n-k A AA( )

A(a)A(b) (a)(c) (b)A(PQ)Qm1m3(PQ)QM0M2

.1n(a)AA2nA

(b)AA2nA(c)A2nA2

1.8

.HnH1,H2,HnCH1,H2,,HnC

1.8.1 H1H2HnCHi(1in)CH1H2HnCCH1H2HnCH1H2Hn1.8.1 H1H2HnC(H1H2Hn)C(H1H2Hn)C

.()()

()RCRC1.8.2 H1H2HnRCH1H2HnRC

.1.8.1(1) PQP(2) PQQ(3) PPQ(4) PPQ

(5) QPQ(6) (PQ)P(7) (PQ)Q(8) P(PQ)Q(9) Q(PQ)P(10) P(PQ)Q(11) (PQ)(QR)PR(12) (PQ)(QR)PR(13) (PQ)(RS)(PR)QS

(14) (PQ)(RS)(PR)QSQ=S(PQ)(RQ)(PR)Q(PQ)(RS)(PR)Q(15)PQ(PR)(QR)PQ(PR)(QR)

.(1)H1H2HnC(H1H2Hn)CC

D(H1H2Hn)CDC(a) H1H2HnC DC(b)CH1H2HnDC

2

1.8.2 HCA1A2AnA1HHiAi(i2)HHiAj(jiAnCCHC

1.8.3 DAABBCCD{1} (1) AB P{2} (2) BC P{1,2} (3) AC T,(1)(2)I8{4} (4) A P{1,2,4} (5) C T,(3)(4) I8{6} (6) CD P{1,2,4,6} (7) D T,(5)(6) I8 1 2 3 4

41 234

1.8.3 H1H2HnRH1H2HnRRH1H2Hn1.8.1H1H2HnRRH1H2HnRR1.8.3 H1H2HnCH1H2HnH1H2HnCCH1H2Hn