Не полностью определенные переключательные функции

ПФ y(x_n-1... x₀) называется полностью определенной, если ее значения 0 или 1 заданы на всех 2ⁿ наборах. Если же значения функции не заданы хотя бы на одном наборе, то она называется не полностью определенной.

Значения функции могут считаться неопределенными, если:

а) в процессе работы логической схемы на ее входы никогда не подаются некоторые наборы сигналов, и, следовательно, функции y в таких случаях можно приписать неопределенные значения; б) разработчика логической схемы не интересует, какое значение примет выходной сигнал при некоторых наборах входных сигналов; в) при некоторых наборах входных сигналов значения выходного сигнала логической схемы 0 и 1 вызывают один и тот же результат в логическом устройстве, для которого он используется в качестве входного.

На рис. 1,д приведена карта Карно для не полностью определенной ПФ. Функция не определена на двух наборах: x₃ = 1, x₂ = 0, x₁ = 0, x₀ = 1 и x₃ = 0, x₂ = 1, x₁ = 1, x₀ = 0. Не определенные значения функции обозначаются символом или . Обозначенные такими символами клетки карты Карно будем называть факультативными.

Не полностью определенные функции можно доопределить произвольно, полагая y = 0 или y = 1.