Решающий вклад в возможность формальных преобразований логических выражений (формализации логических операций) внес …