Решить три задания по интеллектуальным информационным системам

Задание 1. Формализовать представленные рассуждения в виде формул алгебры
логики. Выделить атомарные высказывания и связки. Определить посылки и
заключение в заданном рассуждении.
Комиссия примет дом тогда и только тогда, когда он будет закончен в
феврале. Если дом будет закончен в феврале, то в марте мы сможем
переехать. Если мы сможем переехать в марте, то должны внести за март
квартирную плату. Если комиссия дом не примет, то мы все равно должны
внести за март квартирную плату. Следовательно, мы будем вносить за
март квартирную плату.
Задание 2. Для формализованного в задании 1 рассуждения доказать
логическое следствие заключения из посылок.
Задание 3. Доказать справедливость рассуждения (из задания 1)
методом резолюции