Пример. Найдем порядковый номер функции , которая задана таблицей истинности (см

Пример.

Определение.

Пример.

Найдем порядковый номер функции , которая задана таблицей истинности (см. табл. 3.1). Для этого переведем двоичное число в десятичную систему счисления:

.

Кортеж значений аргументов (интерпретацию) также можно рассматривать как запись целого положительного числа в двоичной системе счисления. Первая интерпретация в таблице истинности называется нулевой, последняя – единичной (номер интерпретации , где – количество аргументов функции).

Десятичный эквивалент двоичного представления интерпретации называется номером интерпретации (кортежа).

Шестой интерпретацией является , т.е. .

Пусть функция принимает единичные значения на интерпретациях 1, 4, 7. Тогда, используя числовую форму записи, функция будет иметь вид: , что означает, что функция принимает единичные значения на наборах 1, 4 и 7.

Дата добавления: 2014-10-22