Помогите с легкими задачами по дискретной математике

Помогите с легкими задачами по дискретной математикепомогите, пожалуйста, с дискретной математикой. .

1) В символической форме запишите сложные высказывания, употребив для их обозначения высказательные переменные.
а) Если город стоит на берегу и река не замерзает зимой, то это не означает, что город расположен в теплых широтах
б) Ум у большинства женщин служит не столько для их благоразумия, сколько для оправдания их безрассудства

2) запишите предложения на языке логики предикатов
а) через любые три точки, не лежащие на одной прямой, проходит единственная плоскость
б) Если два треугольника равны, то стороны и углы одного треугольника соответственно равны сторонам и углам другого треугольника

3) Постройте таблицу истинности заданной формулы и упростите ее с помощью равносильностей.
(X→Y)→(¬X^Yv¬Y)

4) Покажите, что заданная схема есть допустимое правило вывода
А, В→С=>(А→¬С)→¬В