It turns out that every binary connective can be defined in terms of , so this set is functionally complete.
It is discovered that every binary operator can be expressed using , hence this set is functionally complete.