Аргумент булевой функции
Аргумент булевой функции — это переменная, значение которой используется при вычислении функции. Принимая значения 0 или 1, аргументы определяют, какой результат выдаст булева функция.
Как обозначают аргументы
Аргументы обычно обозначают буквами \(x\), \(y\), \(z\) или \(x_1, x_2, \ldots, x_n\). Если функция имеет несколько аргументов, их записывают в скобках: \(f(x,y)\) или \(F(x_1,x_2,x_3)\). Например, в функции \(F(x,y)=x\land y\) аргументами являются \(x\) и \(y\), а результатом — значение операции конъюнкции.
Для каждого набора значений аргументов функция имеет одно определённое значение. Функция двух аргументов имеет \(2^2=4\) возможных набора, а функция \(n\) аргументов — \(2^n\) наборов. Эти наборы и результаты функции записывают в таблице истинности или задают логическим выражением.
Пусть \(F(x,y)=x\lor\neg y\). При \(x=0\) и \(y=1\) получаем \(F(0,1)=0\lor\neg1=0\lor0=0\). Переменные \(x\) и \(y\) — аргументы, а число 0 — значение функции для данного набора.
Какие переменные являются аргументами функции \(G(a,b,c)=a\land(b\lor c)\)?
Аргумент — это входная переменная, например \(x\) или \(y\). Значение функции — результат вычисления, например \(F(0,1)=1\). Аргумент также не следует путать с литералом: литерал — это переменная или её отрицание, записанные внутри логического выражения.
Главное
- Аргумент булевой функции — входная переменная со значением 0 или 1.
- Значения всех аргументов подставляют в функцию, чтобы получить результат 0 или 1.
- У функции \(n\) аргументов существует \(2^n\) возможных наборов их значений.