Контролная работа по елементам математической логики