Книга: Лекции по дискретной математике

Скачать

Пусть ( U = {u_1, u_2, \ldots, u_m, \ldots} ) — исходный алфавит переменных (аргументов) и ( E_2 = {0, 1} ).

ОПРЕДЕЛЕНИЕ. Функция ( f(u_{i_1}, u_{i_2}, \ldots, u_{i_n}) ), где ( u_{i_s} \ne u_{i_t} ) при ( s \ne t ), аргументы и значение которой определены на множестве ( E_2 ), называется функцией алгебры логики или булевой функцией.

ЗАМЕЧАНИЕ. Чтобы избежать сложных обозначений для индексов переменных, мы будем употреблять в качестве произвольных символов алфавита ( U ) символы ( x, y, z, \ldots ), а также эти символы с индексами ( x_1, x_2, \ldots, y_1, y_2, \ldots ).