If we're granted that every truth function can be defined in term of negation and alternation, then these terms can be defined in terms of the stroke, as on page of the introduction to the second edition: