Задачи. 4. Исследовать эквивалентность и определить степень равносильности:

1. Доказать Теорему 2.

2. Доказать Теорему 3.

3. Доказать Теорему 4.

4. Исследовать эквивалентность и определить степень равносильности:

а) функций = Ú и = º на полной области

определения С² и на множестве М={( , )=[(0,7;0,8);

(0,7;0,9);(0,7;1); (0,8;0,9);(0,8;1)]};

б) функций = ® и = º на полной области определения С² и на множестве М = { = [ (0,1); (0,2) ]} ´ { =[(0,2)]};

в) функций = & и = ® на полной области определения С² и на множестве М= { = [ (0,2);(0,3)] } ´ { =[(0,4)]};

г) функций = Ú и = º на полной области определения С² и на множестве М={ =[ (0,8);(0,9)] } ´ { =[(0,7);(0,8)]};

д) функций = & Ú и = º на полной области определения С² и на множестве М={ =[ (0,1);(0,2)] } ´ { =[(0,2);(0,8)]};

е) функций = Ú и = & на полной области определения С² и на множестве М={ =[ (0,8);(0,9)] } ´ { =[(0,9);(1)]} .

5. Привести пример нечеткой истинной константы.

6. Привести пример пары нечетко эквивалентных функций на множестве М={ =[(0,1);(0,2)]}´{ =[(0,2);(0,3)]}.

Алгебра нечеткой логики (АНЛ).