.

Let us write

for the negation of

; thus

will mean the negation of

, i.e. it will mean the conjunction of