Упростить выражения. Построить таблицы истинности

[VaR-StaR]

Помогите решить математическую логику к сессии. Учусь на заочном отделении 1 курс. Никто никогда не проводил с нами занятий по данному предмету, а сделать надо срочно! Задачи очень лёгкие для знакомых с предметом. Буду очень благодарен - буду также помогать по мере сил в областях математики с которыми знаком.

[tig81]

Что делали? что не получается?
Какие примері смотрели?
Что ві знаете про операции на множестве? Что читали про алгебру логики?

[sp]

Даже как-то не удобно. Совсем уж задачи из учебника. Поэтому решаю только первую.
Пишем универсальное множество. Строго под ним наши исходные подмножества
 U={a, b, c, d, e, f, p, q}
 A={a, _, c, _, e, _, p, _} Теперь дополнение этого A. Я пишу !A.
!A={_, b, _, d, _, f, _, q}
 С={a, _, _, d, _, f, _, q} Теперь дополнение этого С. Я пишу !С.
!С={_, b, c, _, e, _, p, _}
Теперь подключаю пересечение трёх подмножеств. Назову его M.
!A={_, b, _, d, _, f, _, q}
 B={_, b, _, d, _, f, p, _}
!С={_, b, c, _, e, _, p, _}
 M={_, b, _, _, _, _, _, _}
Теперь строю пересечение следующих двух подмножеств. Назову его N.
 B={_, b,  _, d, _, f, p, _}
!С={_, b, c, _, e, _, p, _}
 N={_, b, _, _, _, _, p, _}
Теперь строю объединение трёх множеств. Это решение O
 M={_, b, _, _, _, _, _, _}
 N={_, b, _, _, _, _, p, _}
 A={a, _, c, _, e, _, p, _}
 O={a, b, c, _, e, _, p, _} Без пробелов O={a, b, c, e, p}