делается по другому все находится старый компилятор для атмеловского мат языка vincupl выбираем нужную atf и в нем выбираем логические выражения которые есть собственно в схеме оригинальной бмвэшной потом записываем galblastом не под palce a под atf и все
делал себе именно так счас правда инпу забросил так как прошлый век уже icom рулит