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

[Айра]

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

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

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

[Atos]

2. Доказательство полноты множества:
1) Множество не содержится в S, так как существует l из L, такое, что l не принадлежит MUS -> (M∩(L\S)) не содержится в S
2) Множество не содержится в LUM, так как существует s из S, такое, что s не принадлежит LUM -> (S\(LU(M∩(T0UT1))) не содержится в LUM
3) Множество не содержится в T0UT1, так как существует l из L, такое, что l не принадлежит SU(T0UT1) -> (S∩(L\(T0UT1)) не содержится в T0UT1

Сообщение отредактировано: Atos - 22.12.2007 15:15