5.2341 The sense of a truth-function of p is a function of the sense of p.

Denial, logical addition, logical multiplication, etc. etc., are operations.

(Denial reverses the sense of a proposition.)