18.4.15.
Für die Operation der Verneinung ist der Übergang von p auf ~p nicht charakteristisch. (Der beste Beweis: sie führt auch von ~p zu p.)