functionally complete set logic