Показано, что область определения функции трехзначной логики, зависящей от трех переменных, определенной на 14 наборах и представляющей простейшую КМОП-структуру, можно «сжать» четырьмя способами до 7 наборов, а также двумя способами до 6 наборов так, что полученная при каждом способе недоопределенная функция вместе с некоторой функцией одной переменной и константами 0, 1 и 2 образует функционально полный базис в P3.
Ключевые слова:
функция трехзначной логики, КМОП-структура, функциональная полнота
