В какой механической вычислительной машине для выполнения вычитания впервые было использовано сложение с дополнением вычитаемого? Машина Леонардо да Винчи, Машина Шиккарда, Суммирующая машина Б. Паскаля («Паскалина»), Счетная машина (арифмометр) Г. В. Лейбница