Решение логических задач средствами алгебры логики

Задача 1. Представим такую ситуацию: по телевизору синоптик объявляет прогноз погоды на завтра и утверждает следующее: 1. Если не будет ветра, то будет пасмурная погода без дождя. 2. Если будет дождь, то будет пасмурно и без ветра. 3. Если будет пасмурная погода, то будет дождь и не будет ветра. Так какая же погода будет завтра?

Задача 2. На вопрос «Кто из твоих учеников изучал логику?» учитель ответил: «Если логику изучал Андрей, то изучал и Борис. Однако неверно, что если изучал Семен, то изучал и Борис». Кто же изучал логику?

Задача 3. Кто из людей A, B, C и D играет, а кто не играет в шахматы, если известно следующее: а) если А или В играет, то С не играет; б) если В не играет, то играют С и D; в) С играет.

Задача 4. Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок. Вот увидишь, Шумахер не придет первым, сказал Джон. Первым будет Хилл. Да нет же, победителем будет, как всегда, Шумахер, воскликнул Ник. А об Алези и говорить нечего, ему не быть первым. Питер, к которому обратился Ник, возмутился: Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину. По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?