For instance, we can express what is common to all notations for truth functions in the following way: they have in common that, for example, the notation that uses '∼p' ('not p') and 'p q' ('p or q') can be substituted for any of them.