2 - логический тип данных

8. правила склеивания:

(A OR B) AND (A OR B) = A , (A AND B) OR (A AND B) = A .

Условия попадания точек в области образуемыми различными кривыми

Далее приведены кривые первого и второго порядка и области ими отсекаемые, которые встречаются в заданиях к этой работе.

Список задач № 1 для лабораторной работы «Логический тип данных»

Первая задача: написать программу, которая определяет истинность предиката.

1. L =((AXOR (NOT B))AND C )OR (B AND B),

где A =(x +2y ≤ 2), B =(5mod k =0), C =(e2πk =1). 2. L =((AOR (NOT B))XOR C )AND (AAND B),

где A =(sin (x)≤0,5), B =(k div2 > 2), C =(e2πk >1). 3. L =((AOR B)AND C )XOR (DOR B),

где A =(y x ≠ 4), B =(m n mod 2=0), C =(sin (πk )=1), D =TRUE . 4. L = NOT ((D AND B)AND (DOR B))XOR A ,

11

где A =(y x + z ≠10), B =(8 mod k =3), D =(x2 = 2x).

где A =(sin (x)=cos(x)), B =(2x ≤ x2 ),C =TRUE , D =(mmod n=0). 7. L =(C XOR B) OR (NOT (AAND B))

где A =(sin (x)= tg(x)), B =(10mod m≠ 0),C =TRUE . 8. L =(NOT (C )AND D)OR (AXOR B)

где A =(ctg(x)= tg(x)), B = FALSE ,C =(m k mod 2 =0), D =(x + y ≤ 2). 9. L =((NOT (C ))XOR (NOT D))AND(AOR B)

где A =( x2 + y2 < r ), B =(2 =3),C =((x + y)−1 >1), D =(x + y ≠ 4). 10. L =( AXOR C )AND(AOR (NOT B)),

где A =(x2 >1/ y2 +1), B =(2 ≤ x y +2x2 ),C =(3 + x ≥ 4). 11. L =( AXOR (C OR B))AND(BOR (NOT A)),

где A =(x − y ≥3), B =(7mod k =0),C =(x3 −2 ≥ 4). 12. L =(AAND(C XOR B))AND(BOR (NOT A)),

где A =(x + z −2x ≤3), B =(k mod3 =0),C =(2sin (x3 )≥1/ 2). 13. L =(AAND(C XOR D))AND(B OR (NOT B)),

где A =(tg(x)+ctg(x)≤ 2), B =TRUE ,C =(x y > x2 ), D =(k div n= 2). 14. L =(AAND(C OR D))XOR (B OR A),

A =(arcsin(x)+arccos(x)=π), B = FALSE ,C =(x > y), D =(k div n ≥3). 15. L = NOT (AXOR (C OR D))AND(B OR A),

A =(arcsin (x)≥π / 4), B =(k mod 2=0),C = FALSE , D =(x + x < 2). 16. L =(NOT (C OR B))AND(B XOR D),

A =TRUE , B =(2 +sin (x)≤ 2),C =(x − y < x y), D =(M div4=0).

17. L = NOT (AAND(C OR B))OR (B AND A),

A =(y + x = x y / 2), B =(x y ≠ 0),C =(k mod3 =0). 18. L =(C OR B) AND(B XOR (NOT D)),

A =TRUE , B =(e−2 x +e2 x <1),C =(xk ≥100), D =(M div k =0).

12

19. L =(C OR (NOT B))AND(B XOR A),

A = FALSE , B =(e−2 x +e2 x < 2),C =(ex ≥102 ), D =(M div k ≥3). 20. L =((NOT C )XOR (NOT B))AND(B OR A),

A =TRUE , B =(sin (e−2 x +e2 x )≤1/ 2),C =(k mod3=1).

21. L =(C AND(NOT B))OR (D XOR (NOT A)),

A =(k mod m≠ 0), B =(e2 x < 2),C =( ex <10), D = FALSE . 22. L =(AXOR (NOT B))OR (NOT (D XOR A)),

A =(10mod m≠ 0), B =(x6 < 200),C =(x2 + 2y ≥10), D = FALSE . 23. L =(C AND(NOT A))XOR (NOT (C XOR A)),

A =(15mod m≠ 2), B =(5 > y x z), C =(x4 ≥500). 24. L =(AAND(NOT B))OR (C XOR A),

A =(9mod m≠ 0), B =(15 > 2y x),C =(x2 cos(y)≥10).

A =(3y ≥ 2x), B =(x y > 2 y ),C =TRUE , D =(k div2>4). 27. L =(NOT (B ANDC ))XOR (NOT (B OR A)),

A =(y2 ≥ 2 +2x), B =(m mod5 = 2),C =(x2 +3x +1 >0). 28. L = NOT ((AANDC )XOR (B OR C )),

A =(m div n =2), B =(x (y2 + x) > 2 (y3 +3)), C =(x2 ≤3x + y). 29. L =(AOR (C AND(NOT B)))OR (NOT D),

A =(2x = x2 ), B =(k div3≤5), C =(x2 +3y2 ≥10x), D = FALSE . 30. L =(AOR (NOT C ))XOR (NOT (D AND A)),

A =(3 + x − y ≤ 2), B =(x6 < 200),C =(x2 − 2 y ≥10), D =TRUE .

13

Список задач № 2 для лабораторной работы «Логический тип данных»

Написать программу, которая по введённым координатам точки M (x, y) проверяет попадает ли она в заштрихованную область (попадание

точки на линию раздела областей считать непринципиальным).

15

16