Алиса в стране математики

Однажды заспорили Лейбниц и Буль —

Был жарким тот спор небывало!

К тому же учтите: был знойный июль,

И солнце в зените стояло.

Обоих манила прохладой вода,

Но спор всё сильней разгорался.

И Лейбница вдруг осенило тогда —

Он вот до чего догадался:

— Слова надо знаками нам заменять —

Ведь мы математики оба.

Мы истину сможем тогда вычислять!

А Буль отвечал: — Хорошо бы!

Пришлось им придумать особый язык,

Для поиска истин удобный —

Они превратили песок в черновик,

И все записали подробно.

Им истина сразу же стала видна,

Лишь только на запись взглянули!

Буль первым нырнул. Уж светила луна.

А Лейбниц нырнул вслед за Булем.