Формализовать высказывание. Доказать правильность вывода алгебраически и методом резолюций. «Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и нелинейна, и немонотонна. Следовательно, она самодвойственна и не сохраняет константу нуля».