2. Завдання до лабораторної роботи
Розробити програмне забезпечення , яке перевіряє : істинність виразу .
1) A
;
2)
;
3)
;
4)
;
5) 
6) A x B;
7) P (A);
8) 
B ;
9) 
B ;
Розробити програмне забезпечення яке перевіряє : властивості відношення .
10) Рефлективність;
11) Антирефлективність ;
12) Симетричність ;
13) Антисиметричність ;
14) Транзитивність ;
Розробити програмне забезпечення яке перевіряє : властивості відображення .
15) Коректність;
16) Ін’єктивність;
17) Сюр’єктивність;
Розробити програмне забезпечення яке перевіряє : властивості алгебри .
18) Коректність ;
19) Комутативність ;
20) Асоціативність ;
21) Нейтральний елемент ;
22) Чи це група ?