Опять дискретка(((, Специальные классы ф.а.л. Опции

[Айра]

Привет!
Не могли бы вы,пожалуйста, объяснить как решать эти задания:

1. Найти мощность множества:
(L\(SU(T₁∩T₀)))U(T₀\(S∩L))\(M∩(LU(S\T₁)))

2. Проверить полноту множества функций:
(S\(LU(M∩(T₀UT₁)))U(S∩(L\(T₀UT₁))U(M∩(L\S))

Заранее спасибо!))

[Айра]

У меня такой учебник, только 2-е издание.. как-то я от него помощи не ощущаю, а вот привеленные там программи порой ввергают в ужас.. бррр..

Кстати, я ж всетаки более менее разобралась с этими задачами, если интересно, то вот примерный план "разборки":

2. Пришлось рисовать диаграмму Венна для 5-ти множеств (какая же каракуля получилась))), а потом из имеющихся кусочков выбирать функции не входящие в спец. классы.. в роли части функции выступили, так сказать, стандартные ф-ции, а одну пришлось придумать..

1. Сначала тоже попробовала через диаграмму - не айс, рисовать очень муторно и не посчитать пересечения с монотонными. Потом дошло, вот, например, тут ("всякая гадость, но без М"...((M\(T1UT0)\L)) получается так:
монотонные\T1 - это уйдут все функции, у которых на наборе (1..1) значение равно 1, значит, т.к. (1..1) сравним со всеми остальными наборами переменных, останутся только ф-ции с результатом 0 на последнем наборе, а значит и с 0-м на первом наборе, что входит в T0.. значит M\(T1UT0) = пустому множеству, дальше тоже пустота.. Тогда общая картинка изначального множества упрощается, заштриховывается на диаграмме и приводится к суммам\разностям пересечений..
Так что сначала надо было поразмыслить над монотонными: они либо полность уходят, либо поддаются перечислению на пальцах))
Как-то так..

..мне в предпоследний день повезло - достались более-менее понятные условия задач, поэтому я их сделалась и "сдалась" ) Ура!