Определить табличным способом, какими - тождественно-истинными, тождественно-ложными или собственно-выполнимыми - являются данные формулы:
-(p >р),
(-p>q&-(qvp)),
(- (pvq)=(-p&-q)),
((pv -q) > (q & r)),
((q &(р>r))>((-9v-)>р),
((& (qvr)) >((p&q v(p & r))).
Ниже приведём пошаговый анализ каждой из формул. Заметим, что в формулах используются три переменные: p, q и r. Для удобства будем считать, что знак “–” означает отрицание (¬), знак “>” – импликацию (→), знак “=” – эквиваленцию (⇔), знак “v” – дизъюнкцию (∨), а знак “&” – конъюнкцию (∧). Сначала уточним, что подразумевается под следующими понятиями:
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
