In A1.3 The Expressive Power of Nand
There is a phrase:
"It follows that any Boolean function can be represented by a Boolean expression containing only And, Or, and And operators."
I think this was supposed to be "... only And, Or, and
Not operators."