define functionally complete set of connectives