functionally complete set of logic gates