Тут вы ошибаетесь. В ПР не заливается таблица истинности. В ПР заливается программа.
Например, если в ОЛ схеме написано "сложение/умножение чисел", то это вычисление проводит и ПР. "Таблица истинности" для умножителя 32 битных чисел вообще никуда не поместится. Да и согласно
теореме Райса невозможно сказать соответствует ли "таблица истинности" ОЛ схеме.
Какая подпрограмма? В каком процессоре?
Вы о чём вообще?
Я задавал прямой вопрос: "Как, по-вашему, работает ОЛ схема в железе?" Вы тут пишете про таблицу истинности, про массивы. По-вашему, ПР выполняет таблицу истинности, которую генерит ОЛ?