1. Познакомиться с материалами.

2. Познакомиться со статьей и учебником (посмотреть оглавление и содержание первого раздела первой главы - 1.1. Пропозициональные формулы и булевы функции)
   Рекомендуется также посмотреть (и послушать!) хорошее учебное видео Тимофея Федоровича Хирьянова:

   • Таблицы истинности

   • Операции алгебры логики

   • Законы алгебры логики

   • Логические переменные и логические функции

3. Взглянуть на учебник Дениса Артемьевича Владимирова "Булевы алгебры" (kmp изучил и рекомендует)

4. Посмотреть (рекомендуется изучить!) работы Альфреда Тарского:

• Истина и доказательство

• Семантическая концепция истины и основания семантики

5. Выполняя задания заполнить таблицу на странице (промежуточные результаты можете хранить где угодно) и сохранить ее как PDF под именем Фамилия-Логик.

6. Познакомиться со статьей Аны Тюдор Logical Operations with CSS Variables (хорошо бы и с другими её работами). Поиграть с настройками интерактивных демонстраций в CodePen (переходя туда по ссылкам на иллюстрации). Сделать (подписанный Вашей Фамилией) скрин интерактивной демонстрации ротонды (согласно образца - нужно выставить ползунок rotatex (здесь) на число, соответствующее дню Вашего рождения... для случая Орловой, это 31)

7. Познакомиться с работой сетевых логических калькуляторов (например, здесь или здесь ).
   На ресурсе (именно здесь) создать таблицу истинности для выражения (A&!C)||(A&B&C)||(A&C) ( вся работа сводится к переименованию данных и операций из предложенного простарнства имет в определенное для данного калькулятора) .
   Сделать (подписанный Вашей Фамилией) скрин таблицы истинности согласно образца.

8. Построить  таблицу истинности для выражения (A&!C)||(A&B&C)||(A&C) с помощью Wolfram Alpha, познакомиться с её приложениями (логической схемой, диаграммой Венна и др), возможностями их расширения и персонализации

9. Познакомиться с материалом (Приложения логики высказываний к целевой обработке текста).
   Рекомендуется опробовать на Google Sheets )
   Таблицы должны быть доступны, т.к. мы работали с Формами.
   Если нет... стоит зарегистрироваться снова (будем использовать их сервисы)

10. Познакомиться с логическими функциями Microsoft Excel (например, здесь)
    Рекомендуется опробовать на на практике ) ... запустив Microsoft Excel

11. Познакомиться со статьей Solving all 42 versions of the Harry Potter potions puzzle и программным кодом логического решения задачи

12. Заполнить и отправить анкету и задав в ней умный вопрос по теме

13. Отослать преподавателю письмо с

• отзывом о работе,

• документом Фамилия-Логик,

• скрином (подписанным Фамилией) интерактивной модели из статьи Аны Тюдор Logical Operations with CSS Variables

• скрином (подписанным Фамилией) таблицы истинности

• подтверждением о заполнении и отправке анкеты.