Практическая работа №1. Составление таблиц истинности формул логики
Практическая работа №2. Равносильные преобразования формул логики
Практическая работа №3. Совершенные нормальные формы формул логики
Индивидуальное задание №1. Нормальные и совершенные нормальные формы формул логики