Функции алгебры логики, способы их задания. Фиктивные и существенные аргументы. Не полностью определенные функции.
Если не для каждого х найдется эл-т из у, то функция не полностью определенная.
Способы задания: табличный, по наборам T0\\T1. Множество наборов, на которых функция = 0 – Т0(номера наборов), аналогично Т1. Т0 
Т1
Все аргументы могут быть разбиты на 2 части: существенные и фиктивные.
Существенные – такие переменные, изменения значения которых влияют на значение ф-ии. В противном случае аргумент – фиктивный. Для проверки на сущ-ть\\ф-ть. Разбивают на Т1 и Т0. Расписывают номера, входящие в этот набор в двоичный вид. Вычеркивают переменную, которую проверяют и ищут совпадающие наборы в Т0 и Т1. Если нашёлся – существенная. Фиктивные можно исключать.
