Логика и вычисления: Способы синтеза логических выражений