Решить 3 задания по дискретной математике.

1) С помощью равносильных преобразований групп 1-3 упростить формулу.
2) Проверить, является ли формула тавтологией с помощью равносильных преобразований групп 1-3. Ответ проверить с помощью таблицы истинности.
3)Проверить, справедливы ли следующие логические следования.