Дискретная математика Помогите, пожалуйста

[nastusha-str]

Дана логическая функция в виде формулы F1  ((x_1 ) ̅Vx_2 V(x_3 ) ̅ )→x_3 (x_1 |x_0 )Vx_0 (x_1 x_2~x_3 ) .
1. Построить ТИ данной функции и ее СДНФ.
2. Преобразовать с помощью тождеств алгебры-логики логическую функцию (F1) в булеву функцию (получить формулу F2).
3. Из F2 получить СДНФ (убедиться, что СДНФ та же, что и в п. 1).
4. Методом Квайна (Мак-Класки) найти сокр.ДНФ данной функции.
5. Методом Блейка-Порецкого найти сокр.ДНФ данной функции.
6.  Найти все тупиковые ДНФ и МДНФ.
7. Найти МДНФ заданной функции с помощью карты Карно.
8. Найти МКНФ заданной функции.
9. Начертить схему МДНФ или МКНФ (ту, что короче)