Построить диаграмму эйлера-венна, используя комбинаторный принцип включений-исключений, выразить мощность множества d через мощности a,b,c и их пересечений (мощность универсального множества u также считается известной). доказать полученное методом характеристических функций.
d=(a∩b)δ(c∪ ¬a)
a) отрицание
(инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция
логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);
c) дизъюнкция
(логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование
(импликация) обозначается → (например, А → В);
e) тождество
обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).
2. Выделить и Del или Backspace
3. Копирование делает копию, а перемещение нет. Перетаскивание делает копию при зажатом ctrl
4. Ctrl+r или ctrl+H и заполнить нужные поля
5. перечитать, откомпилировать, отдебажить, смотря какая именно правильность нужна
6. напечатать большими буквами
7. зависит от редактора и что именно подразумевается под анимацией шрифта
8. style="background: your_color"
9. style="font-weigth: bold"
10. смотря какого именно отступа
11. не знаю
12. список, где каждый пункт отмечен маркером
13. даже не знаю, лучше добавить пробелов
14. выставить размер отступа в настройках, типа "tab_size": 4,
15. style="line-height: 1.5"
16. выделить слово и ctrl+F3
17. теги sup и sub
18. <style>
p {
margin-top: 0.5em; /* Отступ сверху */
margin-bottom: 1em; /* Отступ снизу */
}
</style>
19. <ol>
<li>Первый пункт</li>
<li>Второй пункт</li>
<li>Третий пункт</li>
</ol>
20. <span color="your_color">S</span>
21. <ul type="disc">
22. стереть и написать заново
23. ctrl+s
24. глубиной вложености и больше ничем
25. просмотр перед печатью, если он есть
Все ответы приводились для обычных текстовых редакторов типа Sublime Text или стили для работы с HTML