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

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

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

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

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

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

5. Посмотреть (и послушать!) хорошее учебное видео Тимофея Федоровича Хирьянова:

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

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

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

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

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

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

8. Отослать преподавателю письмо с отзывом о работе, документом Фамилия-Логик и подтверждением о заполнении и отправке анкеты с умным вопросом.