Двоичные функции одного аргумента

Известно, что от одного двоичного аргумента x может быть образовано четыре разных двоичных функций y_j = F_j(x). Значения этих функций приведены в табл. 1.

Таблица 1

n = 1

	X	y0	y1	y2	y3
						21
21						20
		N = = 4

Функция y₀ сохраняет нулевое значение, а функция y₃ - единичное значение при любом значении аргумента. Двоичная функция, сохраняющая нулевое или единичное значение при любом наборе значений аргументов, называется соответственно константой нуля (y₀=0) или константой единицы (y₃=1).

Функция y₁ принимает значение, равное значению ее аргумента. Такая функция y₁=x называется тавтологией. Ее реализует логический элемент повторитель, условное графическое обозначение которого приведено на Рис. 3, а.

Функция y₂ принимает значение, противоположное значению ее аргумента. Такая функция называется инверсией. Операция отыскания значения инверсии по заданному значению ее аргумента называется операцией отрицания или операцией НЕ. Для обозначения операции отрицания используется запись следующего вида:

y = .

Произносится: y равно НЕ x. Функция инверсия реализуется логическим элементом - инвертором, УГО которого приведено на Рис. 3, б.

Рис. 3 Элементарные автоматы без памяти (двоичные функции одного аргумента)