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