Математическая логика

[newum44]

Добрый день. Возможно, я пишу не в тему, но я больше не знаю куда обратиться... понимаете, нужно решить задачи по мат.логике, но кроме теории мы ничего не проходили, но нам задали практику... пыталась решить задачки с помощью учебника, лекций и СМИ, но получается с трудом. Если кто поможет буду очень признательна.

Вот задачки на выбор:
1. Применяя равносильные преобразования найти совершенно конъюнктивную нормальную формулу данной формулы:
X /\ (Y v отрицание Z) /\ (X v Y v Z)

2. Привести к совершенно дезъюктивной формуле:
Отрицание первой скобки (X /\ (Y v Z)) -> ((X /\ Y) v Z)
3. Записать совершенно дезъюктивную нормальную формулу принимающую истинные значения:
F (100) = F(010) = F(001) = 1
По полученной формуле построить равносильную ей совершенно конъюктивную нормальную формулу.
4. Для данной формулы высказывания с помощью таблицы истинности найти совершенную дезъюктивную формулу:
Отрицание первой скобки (Отрицание X v отрицание Y) /\ (X-> (Y /\ Z))
5. Найти формулу F(x,y) такую чтобы след. формула была бы тождественна истине:
((F v Y)) -> отрицание X) -> ((X -> отрицание Y) -> F)

6. Вычислить является ли данная формула тождественно истинной:
Знак перевернутая А (вроде это означает «для всех») x (P(x) /\ Q(x)) <=> ((перевернутая A x) P(x) /\ перевернутая A x Q(x))
7. Доказать вычисления предметов по формуле:
|- (перевернутая на 180 градусов Е x)( перевернутая на 180 градусов Е y) … A(x,y) -> перевернутая на 180 градусов Е y) (перевернутая на 180 градусов Е x) A(x,y)
(Как-то по 5 аксиоме)
8. Доказать:
|- (А -> отрицание отрицания А)
9. Доказать:
|- (отрицание А -> (А -> В))


я некоторые решила, но свериться лучше... заранее спасибо!