Wskaż, czym jest cała formuła, tzn. znajdź jej funktor główny.

Niektóre odpowiedzi mogą zostać wybrane wielokrotnie bądź być puste.

W przypadku, gdyby pojawiły się problemy, proszę pamiętać, że negacja jest funktorem jednoargumentowym, który neguje formułę następujacą bezpośrednio po niej oraz pomóc sobie klamerkami nad nawiasami.