Первая лига Москвы сезона 2015/16 гг.

4.2. "Venceremos", вопрос 2

Перед вами формула из учебника дискретной математики. Говоря о черте отрицания, автор учебника в комментарии к этой формуле упоминает название романа первой половины XIX века. Назовите этот роман.