144

Математическая логика

r1

A1 AAAAAAA

r2

A A A A A A A A

a1 b c d 1 2 3 4

a1 b c3 d 1 2 3 4

a2 b c d 2 3 4 1

a2 b c4 d 2 3 4 1

a3 b c d 3 4 1 2

a3 b c1 d 3 4 1 2

a4 b c d 4 1 2 3

a4 b c2 d 4 1 2 3

a1 b c d 4 3 2 1

a1 b c1 d 4

3

2

1

a2 b c d 3 2 1 4

a2 b c2 d 3

2

1

4

a3 b c d 2 1 4 3

a3 b c3 d 2

1

4

3

a4 b c d 1 4 3 2

a4 b c4 d 1

4

3

2

-

Удалить

Задание

Вари

(столбец, строка)

1

для r1: (3, 1), (4, 2), (7,

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7), (8, 8);

4) π(r1.A2,r2.A5,r2.A6)(δ((r1>θ<r2,

Расчетно-графическая работа

145

для r2: (3, 4), (4, 5), (7,

r1.A6<r2.A6),

6), (8, 8)

r2.A5>1 or

r2.A6>1)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7), (8, 8);

4)

π(r1.A2, r2.A5, r2.A6(δ((r1><r2,

для r2: (3, 3), (4, 5), (7,

r1.A2=r2.A2),

6), (8, 8)

r1.A5≥2 and

r2.A5<4)).

3

для r1: (3, 1), (4, 2), (7,

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7), (8, 8);

4)

π(r1.A2,r2.A5,r2.A6)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A6<r2.A5),

6), (8, 8)

r1.A5>2 and

r2.A5>2)).

4

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7), (8, 8);

4)

π(r1.A2,r1.A5,r2.A5)(δ((r1>θ<r2,

для r2: (3, 3), (4, 5), (7,

r1.A5<r2.A5),

6), (8, 8)

r1.A2=b1 or

r1.A2=b2)).

5

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 7), (8, 8);

4)

π(r1.A1,r1.A5, r2.A6)(δ((r1>θ<r2,

для

r2: (3, 3), (4, 5),

r1.A6≥r2.A5),

(7, 6), (8, 7)

r1.A1=a3 or

r1.A1=a4)).

6

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 6), (8, 8);

4)

π(r1.A1, r1.A5, r2.A5)(δ((r1><r2,

для

r2: (3, 4), (4, 5),

r1.A2=r2.A2),

(7, 6), (8, 8)

r2.A6≥2

and r2.A5≥2)).

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7

(7, 6), (8, 8);

4)

π(r1.A1, r1, A5,r2.A6)(δ((r1><r2,

для

r2: (3, 3), (4, 5),

r1.A1=r2.A1),

(7, 6), (8, 8)

r1.A1=a3 or

r1.A1=a4)).

8

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 6), (8, 8);

4)

π(r1.A1,r1,A5,r2.A6)(δ((r1>θ<r2,

для

r2: (3, 3), (4, 4),

r1.A5<r2.A6),

(7, 6), (8, 8)

r1.A1=a3 and

r2.A1=a4)).

9

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 6), (8, 8);

4)

π(r1.A1,r1.A2,r2.A5)(δ((r1>θ<r2,

для

r2: (3, 3), (4, 4),

r1.A6<r2.A6),

(7, 5), (8, 8)

r1.A5≥1or

r2.A5≥1)).

10

для

r1: (3, 1), (4, 2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 6), (8, 8);

4)

π(r1.A1,r1.A2,r2.A5)(δ((r1>θ<r2,

для

r2: (3, 3), (4, 4),

r1.A5≥ r2.A5),

Расчетно-графическая работа

147

(7, 5), (8, 6)

r1.A1=a3 and

r2.A6≥2)).

11

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 5), (8, 8);

1)

π(r1.A1,r2.A2,r2.A6)(δ((r1><r2,

для

r2: (3, 3),

(4,

4),

r1.A6=r2.A6),

(7, 5), (8, 6)

r1.A5≥2 and

r2.A5<4)).

12

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 5), (8, 8);

4)

π(r1.A1,r2.A2,r2.A6)(δ((r1>θ<r2,

для

r2: (3, 3),

(4,

4),

r1.A5≠r2.A5),

(7, 6), (8, 7)

r1.A1=a3 or

r2.A5≥2))

13

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 5), (8, 8);

4)

π(r1.A1,r2.A2,r1.A5,)(δ((r1>θ<r2,

для

r2: (3, 3),

(4,

4),

r1.A5≠r2.A6),

(7, 5), (8, 8)

r1.A1=a3 or

r2.A5≥2)).

14

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 5), (8, 8);

4)

π(r1.A1,r1.A5,r2.A6)(δ((r1>θ<r2,

для

r2: (3, 3), (4,

4),

r1.A5≥r2.A5),

(7, 6), (8, 8)

r1.A5≥2 and

r2.A6≥2).

15

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 5), (8, 8);

4)

π(r1.A1,r2.A2, r2.A6)(δ((r1>θ<r2,

для

r2: (3, 3), (4,

4),

r1.A5=r2.A6),

(7, 7), (8, 8)

r1.A1=a3 and

r2.A1=a4)).

16

для

r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 4), (8, 8);

4)

π(r1.A1,r2.A2,r2.A6)(δ((r1>θ<r2,

148

Математическая логика

для r2: (3, 3),

(4,

4),

r1.A6≠r2.A6),

(7, 7), (8, 8)

r2.A1=a2 and

r1.A5≥2)).

17

для r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 4), (8, 8);

4)

π(r1.A1,r2.A2,r2.A5)(δ((r1>θ<r2,

для r2: (3, 3),

(4,

4),

r1.A5≤3or

(7, 6), (8, 8)

r2.A5≤3), r1.A5=1

or r2.A5≥2).

18

для r1: (3, 1),

(4,

2),

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

(7, 4), (8, 8);

4)

π(r1.A1,r1.A5,r2.A6)(δ((r1>θ<r2,

для r2: (3, 3),

(4,

4),

r1.A2≠r2.A2),

(7, 5), (8, 8)

r1.A1≠a2 and

r2.A5≠3)) .

Расчетно-графическая работа

149

1

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

9

4), (8, 8);

4)

π(r1.A1.r2.A2,r2.A5)(δ((r1>θ<r2, r1.A6

для r2: (3, 3), (4, 4), (7,

≤r2.A6), r1.A1≠a3

5), (8, 7)

or r2.A5≥2)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

0

4), (8, 8);

4)

π(r1.A1,r2.A2,r2.A6)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A2=r2.A2),

5), (8, 7)

r1.A1≠a2 and

r2.A5>1)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

1

3), (8, 8);

4)

π(r1.A1, r2.A5, r1.A6)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A5=r2.A5),

7), (8, 8)

r1.A1≠a2 and

r2.A5≠3)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

2

3), (8, 8);

4) π(r1.A1,r1.A2,r2.A5)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5<r2.A5),

6), (8, 8)

r1.A1≠a3 and

r2.A5≥2)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

3

4), (8, 8);

4)

π(r1.A1,r1.A5,r2.A5)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5≥r2.A6),

5), (8, 8)

r1.A1≠a2 and

r2.A5≠3)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

4

3), (8, 8);

4)

π(r1.A1,r1.A2,r2.A5)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A6=r2.A6),

5), (8, 7)

150

Математическая логика

r2.A1≠a2 or

r2.A5≥2)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

5

3), (8, 8);

4)

π(r1.A1,r1.A2,r2.A5)((δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r2.A5<r1.A5),

5), (8, 6)

r1.A1≠a3 or

r2.A6≥2)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

6

3), (8, 7);

4)

π(r1.A1, r1A5, r2.A6)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5=r2.A6),

7), (8, 8)

r2.A2≠b3 or

r2.A6≥2)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7

3), (8, 7);

4)

π(r1.A1, r2.A2,r1.A6)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5≠r2.A5),

6), (8, 8)

r1.A6≥2 and

r2.A6<4)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

8

3), (8, 7);

4)

π( r1.A2,r1A6,r2.A5)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A6≠r2.A6),

5), (8, 8)

r1.A1≠a2 and

r2.A6<4)).

2

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

9

3), (8, 7);

4)

π( r2.A2, r2.A5, r1.A6)((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5=r2.A6),

5), (8, 7)

r1.A2≠b3 and

r2.A5≥2)).

Расчетно-графическая работа

151

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

0

3), (8, 7);

4) π(r1.A1, r1A6, r2.A5)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A6≥3 and

5), (8, 6)

r2.A6≥3),

r1.A1≠a4)).

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

1

3), (8, 6);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A5<r2.A6),

7), (8, 8)

r1.A1≠a2 or

r2.A1≠a3)).

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

2

3), (8, 6);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A6=r2.A6),

6), (8, 8)

r1.A1≠a3 and

r2.A1≠a3)).

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

3

3), (8, 6);

4)

π(r1.A1,r2.A2,

r2.A2)(δ((r1>θ<r2,

для r2: (3, 3), (4, 4), (7,

r1.A6≤3 and

5), (8, 8)

r2.A6<3),

r1.A2≠b2)).

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

4

3), (8, 6);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A5=r2.A5),

5), (8, 7)

r1.A1≠a3 and

r2.A1≠a3).

3

для r1: (3, 1), (4, 2), (7,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

5

3), (8, 6);

4)

π(r1.A3,r2.A4,r2.A8)(δ((r1><r2,

для r2: (3, 3), (4, 4), (7,

r1.A6=r2.A6),

5), (8, 6)

r1.A3≠c1

and

r2.A3≠c1))..

3

для r1: (1, 1), (2, 2), (5,

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

6

7), (6, 8);

π(r1.A3,r2.A7,r2.A8)(δ((r1>θ<r2,

для r2: (1, 4), (2, 5), (5,

r1.A8<r2.A8),

6), (6, 8)

r1.A3≠c1 or

r2.

A3≠c1)).

3

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

7

7), (6, 8);

π(r1.A3,r2.A3,r1.A8)(δ((r1><r2,

для r2: (1, 4), (2, 5), (5,

r1.A3=r2.A3),

3), (6, 8)

r1.A3≠c1 or

r2.

A3≠c1))..

3

для r1: (1, 1), (2, 2), (5,

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

8

7), (6, 8);

4)

π(r1.A3,r2.A4,

для r2: (1, 4), (2, 2), (5,

r2.A8)(δ((r1>θ<r2,r1.A7<r2.A8),

3), (6, 8)

r1.A4≠d1

and

r2.A4≠c1)).

3

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

9

7), (6, 8);

4)

π(r1.A3,r2.A3,r1.A8)(δ((r1>θ<r2,

для r2: (1, 3), (2, 2), (5,

r1.A7<r2.A7),

1), (6, 8)

r1.A3≠c2

and

r2.A7>2)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

0

7), (6, 8);

4)

π(r1.A3, r1.A4, r2.A8) (δ((r1>θ<r2,

для r2: (1, 3), (2, 2), (5,

r1.A8≥r2.A8),

1), (6, 7)

r1.A3≠c1

or

r2.A8≠2)).

Расчетно-графическая работа

153

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

1

7), (6, 8);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1>θ<r2,

для r2: (1, 1), (2, 2), (5,

A7=r1.A8),

3), (6, 7)

r1.A3≠c2

or

r2.A3≠c3)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

2

7), (6, 8);

4)

π(r1.A3,r.1,A4, r2.A8) (δ((r1>θ<r2,

для r2: (1, 1), (2, 2), (5,

r1.A4=r2.A4),

7), (6, 6)

r1.A7>2

or

r2.A7A4.<4)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

3

7), (6, 8);

4)

для r2: (1, 1), (2, 5), (5,

π(r1.A3,r2.A3,r2.A8)(δ((r1>θ<r2,r1.A7<r

6), (6, 7)

2.A7),

r1.A3=c2

and

r2.A8<4)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

4

7), (6, 8);

π(r1.A3, r1.A4, r2.A8)(δ((r1>θ<r2,

для r2: (1, 5), (2, 6), (5,

r1.A7<r2.A7),

7), (6, 8)

r1.A3=c3

or

r2.A8>2))..

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

5

7), (6, 8);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1>θ<r2,

для r2: (1, 3), (2, 4), (5,

r1.A7≥2 and

7), (6, 8)

r2.A7<4),

r1.A3≠c1)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

6

7), (6, 8);

4)

π(r1.A1, r2.A2, r2.A6)(δ((r1>θ<r2,

для r2: (1, 3), (2, 5), (5,

r1.A7≠ r2.A7),

7), (6, 8)

r1.A3≠c2

or

r2.A3≠c3)).

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

4

7), (6, 8);

4)

π(r1.A1,r2.A5,r1.A6)(δ((r1>θ<r2,

7

для r2: (1, 2), (2, 5), (5,

r1.A8≠r2.A8),

7), (6, 8)

r1.A3=c2 or

r2.A3≠c3)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

8

7), (6, 8);

4)

π(r1.A3, r2.A3, r2.A8)(δ((r1>θ<r2,

для r2: (1, 2), (2, 4), (5,

r1.A7≠r2.A7),

7), (6, 8)

r2.A7<4 and

r1.A3≠c1)).

4

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

9

7), (6, 8);

4)

π(r1.A4,r2.A4,r1.A8)(δ((r1>θ<r2,

для r2: (1, 2), (2, 5), (5,

r1.A7≠r2.A7),

5), (6, 8)

r1.A4=d1 and

r2.A4≠d4)).

5

для r1: (1, 1), (2, 2), (5,

1)

(r1 r2), 2) (r1∩r2), 3) (r1\r2),

0

7), (6, 8);

4)

π(r1.4, r2.A4, r2.A8)(δ((r1>θ<r2,

для r2: (1, 2), (2, 5), (5,

r1.A4≠r2.A4),

5), (6, 7)

r1.A3≠c1 and

r2.A3≠c1))..