403
правки
Изменения
Нет описания правки
:<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=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> {{- --}} пороговая функция.
== Пример непороговой функции ==
{{УтверждениеПримером непороговой функции может служить Сложение по модулю 2 (|statement=Функция <tex>XOR</tex>){{---}} непороговая.|proof=
Предположим, что <tex>XOR</tex> {{---}} пороговая функция. При аргументах <tex>(0, 0)</tex> значение функции <tex>XOR</tex> равно 0. Тогда по определению пороговой функции неравенство <tex>A_1 x_1+A_2 x_2 \ge T</tex> не должно выполняться. Подставляя значение аргументов, получаем, что <tex>T>0</tex>. При аргументах <tex>(0, 1)</tex> и <tex>(1, 0)</tex> значение функции <tex>XOR</tex> равно 1. Тогда по определению выполняется неравенство <tex>A_1 x_1+A_2 x_2 \ge T</tex>, подставляя в которое значения соответствующих аргументов, получаем <tex>A_1 \ge T, A_2 \ge T</tex>. Отсюда следует, что <tex>A_1>0, A_2>0</tex> и <tex>A_1+A_2 \ge 2T</tex>. При аргументах <tex>(1, 1)</tex> значение функции <tex>XOR</tex> равно 0, следовательно неравенство <tex>A_1 x_1+A_2 x_2 \ge T</tex> выполняться не должно, то есть <tex>A_1+A_2 < T</tex>. Но неравенства <tex>A_1+A_2 \ge 2T</tex> и <tex>A_1+A_2 < T</tex> при положительных <tex>A_1,A_2</tex> и <tex>T</tex> одновременно выполняться не могут. Получили противоречие, следовательно, функция <tex>XOR</tex> {{---}} непороговая.
}}
== Значимость пороговых функций ==
