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

[Айра]

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

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))

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

[Айра]

Спасибо! Буду разбираться))
Я понимаю, что для доказательства полноты множества, нужно доказать, что оно целиком не содержиться не в одном из специальных классов, но как-то на практике это сделать не получалось..

Если что, ждите глупых вопросов))

[Lapp]

Если что, ждите глупых вопросов))

И ты тоже.

Мне, наверное, вообще не следовало бы вступать в разговор о высших материях, которых я не понимаю, но любопытство - мой главный порок.. Айра, я понимаю, что твоя занятость во время зачетной сессии превышает все разумные границы, но вдруг у тебя найдется время для неучей вроде меня расшифровать таинственную аббревиатуру "ф.а.л." и пояснить, что в данном случае ты обозначила буковками с циферками: t0, t1, M... На всякий случай: я честно выполнил требования Форума и использовал поиск (как по Форуму, так и в Инете) - увы, безрезультатно.. Общепринятых сокращений "ф.а.л.", как оказалось, не существует, а на буковки t, s и m нашлось столько всего, что ни осмыслить, ни привести это тут я просто не в состоянии.. А посему, обращаюсь к тебе за помощью - не вели казнить, вели миловать. Я всего лишь хочу знать, о чем, собственно, речь..

Я понимаю, что рискую своей репутацией, но не могу противостоять желанию узнать истину - которая, по-видимому, известна всем, кроме меня... Спасибо.

PS
Если в лом расшифровывать - ткни в ссылку..

[Atos]

Если в лом расшифровывать - ткни в ссылку..

http://ru.wikipedia.org/wiki/%D0%9A%D1%80%...%81%D1%82%D0%B0

(S∩(T0\L))U(M\(T0UL)) = (SUM)∩(T0\L)) содержится в T0\L содержится в T0 -> неполно

А вот вопрос про мощность чё-то ставит меня в тупик Эти классы функций - они же все имеют бесконечную мощность