Студенческий фестиваль "Гран-при им. Г.В. Плеханова - 2016" (Москва)

4 тур, вопрос 5

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