functionally complete set of connectives