Логикалық өрнектерді формальды түрлендіру мүмкіндіктерін енгізген кім?

1) А. Тьюринг

2) Г. Лейбниц

3) Дж. Буль

4) Ч. Бэббидж

5) Н. Винер