Портал обучения информатике и программированию

В курс "Теоретическая информатика" добавлены тесты на построение таблиц истинности и совершенных нормальных форм. Также там выложен интерактивный урок, на отработку основных понятий логики. Добро пожаловать!