Доброго времени суток! Только закончились пары по математической логике и нам задали эти задачки… сегодня суббота, а задание к понедельнику 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. Доказать:
|- (отрицание А -> (А -> В))
23.01.2010, 17:48 
отключается через час после написания сообщения, тема перемещена из "помогите решить/разобраться (М)" в 