Minimal Synthesis of Multivalued Functions with New Operators