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