Мат.логика - помогите с задачами

[Lana44]

Доброго времени суток! Только закончились пары по математической логике и нам задали эти задачки… сегодня суббота, а задание к понедельнику 8-((( Преподаватель довольно интересная личность… сказал, если эти задачки готовы к понедельнику не будут – допуска на экзамен также не будет… очень прошу помочь разрешить эту нелегкую проблему… Безусловно, единоличницей не буду – поделюсь с ними со всей группой!!!!!!!

Заранее спасибо:

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. Доказать:
|- (отрицание А -> (А -> В))

[Maslov]

(Оффтоп)

Уважаемая Lana44.
Прежде, чем кто-то сможет Вам помочь, надо
1. оформить формулы в соответствии с правилами форума: topic183.html
2. привести свои попытки решения всех задач и пояснить, что Вам не понятно и что не получается

[Lana44]

(Оффтоп)

Ок. поняла. исправлюсь!

[AD]

Lana44 в сообщении #282997 писал(а):

Ок. поняла. исправлюсь!

Поскольку кнопка отключается через час после написания сообщения, тема перемещена из "помогите решить/разобраться (М)" в карантин для удобства исправления.
Как исправитесь - можете написать сюда, вернём тему обратно.
Оффтопик припрятал.