Опубликовано Автор: Rulita

Докажите общезначимость заданных формул методом составления истинностных таблиц: (P—>Q)—>((P—>┐Q)—> ┐P))

26.01.2012, 20:12

Решение:
доказать общезначимость исходной формулы, значит показать, что формула на всех наборах единиц и нулей принимает одинаковые значения (равные одному например)

построим таблицу истинности для трех переменных:

 P R
 Q
 P—>Q ┐Q
 P—>┐Q
 ┐P
 (P—>┐Q)—> ┐P
 (P—>Q)—>((P—>┐Q)—> ┐P))
 0 0  0  1  1  1  1  1  1
 0 0  1  1  0  1  1  1  1
 0 1  0  1  1  1  1  1  1
 0 1  1  1  0  1  1  1  1
 1 0  0  0  1  1  0  0  1
 1 0  1  1  0  0  0  1  1
 1 1  0  0  1  1  0  0  1
 1 1  1  1  0  0  0  1  1

 2,916 total views,  1 views today