Основные свойства элементарных функций
Проверку справедливости данного свойства при n = 1 рекомендуется проделать
самостоятельно.
Рассмотрение свойств элементарных функций показывает, что не для всех обоб-щений булевых функций сохраняются соответствующие свойства двоичной логики.
Пример. Показать справедливость следующих утверждений:
~ ( ~ x )
= x, но 
` x.
Справедливость этого видна из следующей таблицы.
Таблица 2.6
|
x |
~x |
~(~x) |
|
|
|
0 |
2 |
0 |
1 |
2 |
|
1 |
1 |
1 |
2 |
0 |
|
2 |
0 |
2 |
0 |
1 |
Пример. Показать справедливость следующих утверждений;
~ min ( x,y ) = max (
~x, ~y ), но 
` max ( 
, 
).
Обозначим эти соотношения следующим образом: f
= f
и f
` f
.
Тогда справедливость этих соотношений при k = 3 видна из следующей таблицы.
Таблица 2.7
предыдущаяследующая