Задание математическая логика и теория алгоритмов
Найти значение формулы (¬B→A)[γ], если (A∨B)[γ]=И и (A→B)[ γ]=И.
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
Найти эквивалентные формулы с тесными отрицаниями:
(a) ¬∀x (( P(x)∨∃y¬Q(x,y))&∀yR(y));
(b) ¬(¬(∃xP(x)→∀xQ(x,y))∨∀x¬P(x)).
А Л Г О Р И Т М Ы
Доказать ПРФ: d (x,y)(нод) и k (x,y)(нок).
Все надо расписать ! Кто справится прошу в скайп skorpion_wow_ua
Зарегистрируйтесь или войдите на сайт под своим именем.