Вдалеке стояли предикаты,
Квантор общности к ним грозно применялся.
Состояния меняли автоматы,
И процесс этот никак не прекращался.

И дизъюнкции логических конъюнкций
К совершенной форме приводились,
И логические аргументы функций
Знаком отрицания накрылись.

На лугах лежали сети Петри,
Марковскими связаны цепями,
И качали на холодном ветре
Графы обнаженными ветвями.

Я у графа не сломаю ветку,
Карт Карно я разрушать не буду.
Выучу и завтра сдам дискретку…
И, как страшный сон, ее забуду.

P.S.
Лирикам всю эту ахинею
Ни к чему, конечно же, читать.
Но ведь есть и физики, надеюсь?
И они должны меня понять!