Самостоятельная работа по разделу ОСНОВЫ ЛОГИКИ. СРОЧНОООО
Насчет третьего - под б) нетривиальный метод(подстановка), но я уверен, что он правильный.