Однажды заспорили Лейбниц и Буль — Был жарким тот спор небывало! К тому же учтите: был знойный июль, И солнце в зените стояло. Обоих манила прохладой вода, Но спор всё сильней разгорался. И Лейбница вдруг осенило тогда — Он вот до чего догадался: — Слова надо знаками нам заменять — Ведь мы математики оба. Мы истину сможем тогда вычислять ! А Буль отвечал: — Хорошо бы! Пришлось им придумать особый язык, Для поиска истин удобный — Они превратили песок в черновик, И все записали подробно. Им истина сразу же стала видна, Лишь только на запись взглянули! Буль первым нырнул. Уж светила луна. А Лейбниц нырнул вслед за Булем.