p.~ p ist dasjenige – etwa das Nichts – welches p und ~p gemeinsam haben.