Частично определенная логическая функция