PAL/GAL и все что с ними связано.

[OrionExt]

Угу. А это ничего, что все сигналы в матрицу заводятся как в прямом, так и в инверсном виде и закоммутировать можно любой из них?

Какой сигнал (прямой / инверсный) заведется в матрицу зависит от "прожигаемой" перемычки. Вы же не вручную собираетесь их прожигать

Я и спрашиваю, почему сделано так, а не иначе? Я, конечно, в любом месте выражения могу поставить инверсию. Вот доделаю тестер, чтобы не тумблерами щелкать, проверю, что вышло и подправлю так, как мне надо. Просто непонятно, почему этот ispLEVER Classic 1.8.00 сгенерил так, а не иначе?

Мне вот тоже не совсем нравится своеобразное поведение ispLEVER-а в привидении формул. Если вы не планируете по полной использовать весь потенциал языка Абель. Я бы порекомендовал WinCupl.

Проверять (симулировать) свои наработки можно Proteus-е.