Аналитический способ. При числовом способе задания ФАЛ каждому набору переменных ставится в соответствие определенное число в двоичной системе исчисления и присваивается ему

Числовой способ

При числовом способе задания ФАЛ каждому набору переменных ставится в соответствие определенное число в двоичной системе исчисления и присваивается ему соответствующий десятичный номер. Функция задается в виде десятичных номеров, на которых она принимает единичные (первый вариант числового задания) или нулевые (второй вариант числового задания) значения.

Так, например, для таблицы 2.1 по первому варианту ФАЛ будет записана следующим образом: f = {1, 2} _{x 1 x 2}, а по второму варианту – f = Ù{0, 3} _{x 1 x 2}. Для таблицы 2.2 числовая запись ФАЛ по первому варианту имеет вид f = {1, 2, 3, 6} _{x 1 x 2 x 3}, по второму варианту – f = Ù{0, 4, 5, 7} _{x 1 x 2 x 3}, а для таблицы 2.3 (первый вариант) f = {1, 2, 3, 5, 6, 8, 9, 12, 13, 15} _{x 1 x 2 x 3 x 4} и f = Ù{0, 4, 7, 10, 11, 14} _{x 1 x 2 x 3 x 4} (второй вариант). Знак «Ù» во втором варианте записи указывает на то, что используются наборы нулевых значений функции.

В приведенных выражениях в фигурных скобках через запятую записаны в порядке возрастания номера наборов, на которых ФАЛ равна «1» (счет ведется с нуля). Сразу же за фигурными скобками проставляются в виде индексов аргументы ФАЛ, начиная со старшего разряда.

Данный способ задания ФАЛ является одним из наиболее простых, однако, его недостаток – слабая наглядность.

При данном способе ФАЛ задается в виде алгебраического выражения, получаемого при применении каких-либо логических операций к переменным.

Алгебраическое выражение показывает, какие логические операции должны выполняться над аргументами функции, и какова должна быть их последовательность.

Например, применяя операции инверсии, конъюнкции и дизъюнкции можно задать функцию или функцию .

Недостаток данного способа в отсутствии наглядности, а преимущество – в возможности применения математического аппарата для операций с переменными.

Дата добавления: 2015-07-02