functionally complete collection of logical operators