403
правки
Изменения
Нет описания правки
и разделить обе части неравенства на <tex>k</tex>.
}}
== Примеры пороговых функций ==
Примерами пороговых функций служат функции <tex>AND</tex> и <tex>OR</tex>. Представим функцию <tex>AND</tex> в виде <tex>[1,1;2]</tex>.
Докажем, что это именно пороговая функция, подставив все возможные значения аргументов:
:<tex>A_1=0,A_2=0</tex>, то <tex>0<2 \Rightarrow f=0</tex>.
:<tex>A_1=0,A_2=1</tex>, то <tex>1<2 \Rightarrow f=0</tex>.
:<tex>A_1=1,A_2=0</tex>, то <tex>1<2 \Rightarrow f=0</tex>.
:<tex>A_1=1,A_2=1</tex>, то <tex>2\ge2 \Rightarrow f=1</tex>.
Таблица значений совпадает с таблицей истинности функции <tex>AND</tex>, следовательно <tex>AND</tex> - пороговая функция.
Функцию <tex>OR</tex> представим в виде <tex>[1,1;1]</tex>.
Аналогично докажем, что это пороговая функция:
:<tex>A_1=0,A_2=0</tex>, то <tex>0<1 \Rightarrow f=0</tex>.
:<tex>A_1=0,A_2=1</tex>, то <tex>1\ge1 \Rightarrow f=1</tex>.
:<tex>A_1=1,A_2=0</tex>, то <tex>1\ge1 \Rightarrow f=1</tex>.
:<tex>A_1=1,A_2=1</tex>, то <tex>2\ge1 \Rightarrow f=1</tex>.
Таблица значений совпадает с таблицей истинности функции <tex>OR</tex>, следовательно <tex>OR</tex> - пороговая функция.
== Пример непороговой функции ==
