functionally complete in digital logic