Докажите общезначимость заданных формул методом составления истинностных таблиц: (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

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *