أرسل هذا في رسالة قصيرة: On the synthesis and optimization of MVL functions