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

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

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

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

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

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