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