> -- Wlad2 писал(а):
> в си логический тип определяется со значениями 0 и 1.

то есть, вам, для адекватного перевода на оберон, нужно явно определять функции ЛОГИЧЕСКИХ операций НАД ЦЕЛЫМИ!
и - не только. ещё - над целыми и логическими...
и - аналогичные АРИФМЕТИЧЕСКИЕ и битовые над ЛОГИЧЕСКИМИ (а - вперемешку с целыми).

в результате:
получаем:

1) арифметика над:
1.а) целым и целым
1.б) целым и логическим

2) битовые операции над:
2.а) целым и целым
2.б) целым и логическим
сюда же - битовая инверсия над обеими разновидностями типов

3) логические операции:
3.а) целым и целым
3.б) целым и логическим
сюда же - логическая инверсия над обеими разновидностями типов

И ВНИМАТЕЛЬНО преобразовывать сишные выражения в оберон-выражения...

в любом случае, "привести к общему базису" - не получится. природа типов и смысла операций - различна - именно придётся всё, что я описал - прописывать и елозить пальчиком по сишным выражениям... - артель "восход солнца вручную" приветствует вас!