It turns out that every binary connective can be defined in terms of , so this set is functionally complete.
All binary operations can be formulated with , suggesting that this set has functional completeness.